is_active 3918 src/filemanager/panel.c gboolean is_active; is_active 3920 src/filemanager/panel.c is_active = widget_is_active (w); is_active 3957 src/filemanager/panel.c if (!is_active) is_active 3994 src/filemanager/panel.c if (is_active) is_active 4004 src/filemanager/panel.c if (is_active)