GNOME Bugzilla – Bug 703531
Proposals for the Fix of selection mode
Last modified: 2013-07-03 10:26:08 UTC
the header bar is about 1 pixel thinner in normal mode when compared with selection mode. This height fluctuations are introduced since libgd port to Gtk corresponding widget. also observed in gnome-clocks((. any suggestions how to fix it? further refs: https://bugzilla.gnome.org/show_bug.cgi?id=701981 and https://bugzilla.gnome.org/show_bug.cgi?id=701980 since the header bar port menu appearing in selection mode has lost DOWN_ARROW, when selection mode is launched several times. This is fixed in the patch proposal. According to the discussion with Paolo and Allan the single action in selection mode in this case "delete-button" should be on the right hand side. please see https://bugzilla.gnome.org/show_bug.cgi?id=699913. This is fixed in the patch proposal. According to Allan the close button should not appear in selection mode. This is incorporated in the patch proposal. (it's implemented so in gnome-clocks)
*** This bug has been marked as a duplicate of bug 703530 ***