Willem Jan Palenstijn
5510640dbc
GUI: Give each tab in TabWidget its own width
...
The width of each tab is now computed from its title, independently of
the other tabs. This increases the number of tabs that fit on the
screen.
This rewrite also fixes a bug where if the window size increased while
_firstVisibleTab > 0, some tabs would become inaccessible when the
scroll buttons were hidden.
The layout key Globals.TabWidget.Tab.Width is now treated as minimal
tab width. This is set so that the tabs fit reasonably well in lowres
layouts.
At the same time, this reduces the lowres scroll buttons heights to fit.
This patch makes the Nintento DS hacks in TabWidget obsolete.
(Hopefully! I'm not able to test.)
2017-02-28 15:55:52 +01:00
..
2016-08-24 16:07:55 +06:00
2017-02-28 15:55:52 +01:00
2017-02-28 15:55:52 +01:00
2017-01-01 10:58:56 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2016-10-09 15:02:02 +02:00
2016-08-30 21:19:59 +02:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2016-09-26 21:33:55 +01:00
2016-08-24 16:07:55 +06:00
2015-08-29 18:08:52 +02:00
2016-07-03 12:19:48 +02:00
2016-04-06 17:51:30 +03:00
2016-09-05 18:08:51 +02:00
2016-08-24 16:07:55 +06:00
2016-10-30 15:43:14 +00:00
2016-10-30 15:43:14 +00:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2016-03-25 16:30:12 +01:00
2014-02-18 02:39:35 +01:00
2015-11-07 13:26:55 +01:00
2015-11-07 13:26:55 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2016-11-12 12:09:14 +01:00
2016-07-03 12:17:43 +02:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2017-01-12 09:46:14 +00:00
2014-02-18 02:39:35 +01:00
2016-10-30 18:56:35 +00:00
2016-10-30 18:56:35 +00:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2014-02-18 02:39:35 +01:00
2016-10-17 18:55:22 +02:00
2016-07-03 12:24:56 +02:00
2016-08-24 16:07:55 +06:00
2016-01-24 03:41:29 +01:00
2014-02-18 02:39:35 +01:00
2017-02-28 15:55:51 +01:00
2017-02-22 16:52:09 -06:00
2016-06-01 13:16:12 +02:00
2016-04-14 18:37:12 +03:00
2016-04-14 13:30:14 +03:00
2014-02-18 02:39:35 +01:00
2016-09-04 23:25:54 +01:00
2016-08-24 16:07:55 +06:00
2016-11-29 20:15:20 +01:00
2016-10-17 18:55:22 +02:00
2016-10-17 18:55:22 +02:00
2016-04-14 13:30:14 +03:00
2016-10-09 15:02:02 +02:00
2016-08-24 16:07:55 +06:00
2016-10-30 16:25:42 +00:00
2016-10-30 16:25:42 +00:00
2017-02-28 15:55:52 +01:00
2017-02-28 15:55:52 +01:00
2016-07-03 12:24:53 +02:00
2011-05-12 01:16:22 +02:00
2016-06-01 13:16:12 +02:00
2016-07-03 12:24:53 +02:00
2016-08-24 16:07:55 +06:00
2016-08-24 16:07:55 +06:00
2016-06-01 13:16:12 +02:00
2016-04-06 17:51:30 +03:00
2016-05-22 16:28:42 +03:00
2016-03-31 09:09:23 +02:00
2016-12-01 13:04:55 -06:00
2016-08-24 16:07:55 +06:00