GNOME Bugzilla – Bug 588491
auto iconify feature
Last modified: 2021-06-19 08:57:38 UTC
It would be great if an auto iconify feature was added. Take for example the 'messages' panel in Anjuta. When I build the target with F7 the messages panel appears. I have to manually iconify it everytime. On most IDEs it just disappears after a few seconds. I usually give a glimpse to that panel to see if there were errors/warnings, but then I just continue the coding in full editor-window. This would save me a mouse click for every build.
*** Bug 591779 has been marked as a duplicate of this bug. ***
Shouldn't this be simpler now with the GtkRevealer? https://developer.gnome.org/gtk3/3.9/gtk3-GtkRevealer.html
We can use it but I think GtkRevealer is only displaying an animated transition. We still need to hide and show the panes and define how. It's a bit more difficult than what we can expect. Because currently GDL has a global dock bar where a button is added for any hidden widget. While, I think in kdevelop by example, the hidden widget is replaced by a button, so you can have several dock bar containing different widget. With this setup you can show the corresponding widgets if you just pass over the corresponding dock bar. Then, I don't know if it's better to add another button to only fold the widget, or consider this as a global setting folding all "hidden" widget.
I think the minimize feature and the autohide feature can work in a similar way. The developer should have the possibility the choose the behaviour he wants. Possibly by setting a property on DockManager. eg. pin_unpit => autohide. minimize (default) => current behavour (button to minimize dock). A togglebutton could be added to the GdlDockItemGrip to indicate if the GldDock can be autohidden or not (to pin or unpin). (In this case the minimize button can be hidden from the GdlDockItemGrip). When a dock is unpinned(indicated by the toggle button) a button can be added to the dockbar. x milliseconds after the dock looses the focus, the dock should be hidden. When clicking on (or hovering over???) the button in the dockbar the dock should be shown (in unpinned mode). When the togglebutton in the GdlDockItemGrip indicates the user wants to pin the dock, then the button from the dockbar can be removed. In this case the dock should not be hidden automaticaly. from a user perspective it whould be more intuitive if the dock and his corresponding button in the dockbar are at the same side of a window. eg. When docking to the left, the hide/show-button should be at the left side.
(In reply to comment #4) > from a user perspective it whould be more intuitive if the dock and his > corresponding button in the dockbar are at the same side of a window. > eg. > When docking to the left, the hide/show-button should be at the left side. I agree, but it's difficult with the current code because the dock bar is a global widget which is always on the left side. So, if you hide a widget on the right side, the button will still appear in the dock bar at the left side. But, I have changed GDL is working last year, a docked widget is still present in the widget hierarchy but it is just hidden. I think a better solution would be to replace it with a new dock bar when this feature is enabled. Anyway, it needs quite some new code. I don't think I will have much time to write it.
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org. As part of that, we are mass-closing older open tickets in bugzilla.gnome.org which have not seen updates for a longer time (resources are unfortunately quite limited so not every ticket can get handled). If you can still reproduce the situation described in this ticket in a recent and supported software version of gdl, then please follow https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines and create a new ticket at https://gitlab.gnome.org/GNOME/gdl/-/issues/ Thank you for your understanding and your help.