[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/
- [Octave-patch-tracker] [patch #8121] Reduce the size of dock/undock and close buttons of the dock widgets,
Catalin Codreanu <=