panel_panelize_restore 1233 src/filemanager/filemanager.c         panel_panelize_restore ();
panel_panelize_restore  195 src/filemanager/panel.h void panel_panelize_restore (void);