On Thursday 20 March 2014 14:25:51 Martin Schreiber wrote: > On Thursday 20 March 2014 13:50:23 Ivanko B wrote: > > Another possibility is to switch off tab autosizing > > ============= > > Where to find this option ? > > tab_optionswidget1 ow1_autoheight/ow1_autowidth. It seems that it currently > does not allow to shrink to zero because of the font height, I'll have a > look. > The problem was the streaming order of tab_size and tab_sizemin, fixed in git master 64d2d7a787e53f9e6356270f565e1779c881f9dc.
Martin ------------------------------------------------------------------------------ Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. Written by three acclaimed leaders in the field, this first edition is now available. Download your free book today! http://p.sf.net/sfu/13534_NeoTech _______________________________________________ mseide-msegui-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mseide-msegui-talk
