panel_panelize_restore 1238 src/filemanager/filemanager.c         panel_panelize_restore ();
panel_panelize_restore  194 src/filemanager/panel.h void panel_panelize_restore (void);