[Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked)

[Pantxo Diribarne]

Follow-up Comment #16, bug #53902 (project octave):

I backed out the cset that reduced figure toolbar size because with the new
style sheet toggle buttons have the same aspect whether they are activated or
not. 

I couldn't find a toggle button in the GUI toolbars (only push buttons) so
this doesn't seem to be an issue in the GUI.
 
Note though that there is still a visual difference even for push buttons: on
my system (debian stretch with Cinamon desktop), with the standard stylesheet,
hovering a button with the mouse  will highlight it (the background color is
lighter); with the compact stylesheet, nothing happens.  

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?53902>

_______________________________________________
  Message posté via Savannah
  https://savannah.gnu.org/