Julian Eisel
876f78cbbb
UI: Better center-align Properties search button in header
...
For some reason the layout code doesn't center the search button properly. Add
a blank icon button to add some padding, dynamically resized as the region size
changes. This is quite finicky and not at all perfect. But it makes the search
button look far less off-place.
2020-10-21 17:25:37 +02:00
..
2020-03-18 11:23:05 +01:00
2019-04-19 07:32:24 +02:00
2020-10-02 11:59:16 +10:00
2020-04-17 17:00:57 +02:00
2020-07-15 09:11:01 -04:00
2020-10-02 11:59:16 +10:00
2020-10-09 16:26:28 -05:00
2020-10-20 00:48:11 +02:00
2020-06-20 19:54:44 +02:00
2020-10-02 11:59:16 +10:00
2019-10-01 20:18:48 +02:00
2020-01-21 09:59:22 +01:00
2019-12-02 13:15:52 +01:00
2020-10-07 08:04:53 -05:00
2019-02-11 15:46:09 +01:00
2020-06-19 14:42:08 -04:00
2020-10-02 11:59:16 +10:00
2020-06-19 15:07:13 -04:00
2020-01-31 21:49:24 +01:00
2020-10-05 23:12:48 +05:30
2020-10-02 11:59:16 +10:00
2020-10-21 15:28:09 +02:00
2020-09-04 22:19:34 -04:00
2020-09-20 15:29:02 +02:00
2020-05-01 15:21:41 +02:00
2020-07-24 16:20:30 +10:00
2020-06-27 12:00:38 -04:00
2020-10-20 08:25:28 -07:00
2020-10-02 11:59:16 +10:00
2020-06-12 18:19:40 +03:00
2020-10-02 11:59:16 +10:00
2019-06-21 08:36:03 +10:00
2020-05-14 10:41:00 +02:00
2020-10-20 23:07:53 +02:00
2019-06-22 11:08:12 +10:00
2020-07-30 18:53:35 +02:00
2019-06-11 16:08:32 +10:00
2020-10-13 18:09:07 +02:00
2020-09-07 14:59:07 -05:00
2020-09-30 20:11:06 +10:00
2020-10-02 11:59:16 +10:00
2020-02-04 21:06:37 +01:00
2020-09-09 21:15:05 -04:00
2020-10-13 15:47:36 -04:00
2019-09-15 05:26:15 +10:00
2020-10-07 12:41:55 +02:00
2020-10-02 11:59:16 +10:00
2020-10-19 14:02:53 +02:00
2020-10-07 17:15:17 +02:00
2020-01-22 13:48:25 -08:00
2020-01-09 17:07:27 +01:00
2020-10-19 12:28:44 +02:00
2020-09-15 12:47:09 -06:00
2020-10-21 17:25:37 +02:00
2020-09-30 20:11:06 +10:00
2020-10-07 08:41:44 -07:00
2020-10-07 08:04:53 -05:00
2020-10-06 15:17:36 -05:00
2020-09-25 17:49:13 +10:00
2020-10-15 19:35:37 +02:00
2020-05-18 10:49:23 +02:00
2020-10-21 13:47:50 +02:00
2020-10-02 11:59:16 +10:00
2020-10-21 13:47:50 +02:00
2019-03-13 13:32:10 +11:00