is_active        4056 src/filemanager/panel.c     gboolean is_active;
is_active        4058 src/filemanager/panel.c     is_active = widget_is_active (w);
is_active        4095 src/filemanager/panel.c         if (!is_active)
is_active        4149 src/filemanager/panel.c         if (is_active)
is_active        4159 src/filemanager/panel.c         if (is_active)