octave-patch-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #8121] Reduce the size of dock/undock and


From: Catalin Codreanu
Subject: [Octave-patch-tracker] [patch #8121] Reduce the size of dock/undock and close buttons of the dock widgets
Date: Thu, 11 Jul 2013 09:17:31 +0000
User-agent: Mozilla/5.0 (X11; Linux i686; rv:22.0) Gecko/20100101 Firefox/22.0

URL:
  <http://savannah.gnu.org/patch/?8121>

                 Summary: Reduce the size of dock/undock and close buttons of
the dock widgets
                 Project: GNU Octave
            Submitted by: catalyn269
            Submitted on: jeu. 11 juil. 2013 11:17:30 CEST
                Category: None
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:


On my system (Fedora 18), the default size for these buttons is 24 which makes
them quite large in the GUI. This patch sets their size to 12x12px, which
works well.

Perhaps these buttons should scale with the title text size ?

Cheers,
Cat



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: jeu. 11 juil. 2013 11:17:30 CEST  Name: SmallerButtons.patch  Size: 1 ko
  By: catalyn269

<http://savannah.gnu.org/patch/download.php?file_id=28541>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?8121>

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]