|
From: Shlomy R. <sre...@gm...> - 2011-07-25 18:00:28
|
Not sure about it. What I understand from this guide is that the properties are set per component. It may be possible to write a small beanshell script that will recurse into the GUI hierarchy and set the properties on all components, but it may not be so simple (since the GUI changes, components are added and removed). Also, for the dockable buttons, I am not sure it will help since there is a custom layout in jEdit for them. For some reason I recall that more than a year I found some documents telling me how to set the sizes globally in Nimbus, but I could not find them any longer. Anyway, I also recall have found several other problems with Nimbus in the past that made me abandon it. Hopefully these will be fixed in Java 7... Shlomy On Mon, Jul 25, 2011 at 8:51 PM, Robert Schwenn <Rob...@ka... > wrote: > > > > > You may find some useful info here: > > > http://download.oracle.com/javase/tutorial/uiswing/lookandfeel/custom.html > > > > Does this mean, that we could shrink the size of all these dockable buttons > by > setting a property in a property file or with a few lines in startup > script? > > Robert > > > > ------------------------------------------------------------------------------ > Storage Efficiency Calculator > This modeling tool is based on patent-pending intellectual property that > has been used successfully in hundreds of IBM storage optimization engage- > ments, worldwide. Store less, Store more with what you own, Move data to > the right place. Try It Now! > http://www.accelacomm.com/jaw/sfnl/114/51427378/ > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |