Iris Morelle
c9747c0db5
gui2/logging: Add filtering functionality
...
To make it easier to find log domains among the giant list.
2020-07-06 21:32:27 -04:00
Iris Morelle
d186a8ba15
gui2/logging: Improve dialog's aesthetics
...
This makes it look less like programmer art by adding some headings and
a better list layout.
2020-07-06 21:32:27 -04:00
Iris Morelle
450092033a
gui2/log_settings: Permit disabling logdomains (log level -1)
...
(cherry-picked from commit ae5ab22b1a1652aa22cc53077cc32967c45a8d64)
2018-10-07 03:19:55 +00:00
Iris Morelle
99d2919f5d
gui2/log_settings: Make log options tooltips translatable
...
Fixes #2837 .
(cherry-picked from commit 3967fd190e60b59cb9017bf4013a177dfcb44fdd)
2018-10-07 03:18:52 +00:00
Charles Dang
471c9e876a
Addressed a large chunk of the whitespace issues from #2613
...
[ci skip]
2018-03-09 11:37:00 +11:00
Charles Dang
4f50559af9
GUI2 WML: consistent styling, don't use strings for bools
2017-04-16 17:19:03 +11:00
Celtic Minstrel
cd9fc1aa2d
Fix changed window IDs
2016-11-10 15:35:56 -05:00
Charles Dang
6441165187
Logging: use radio buttons
2016-08-12 18:33:12 +11:00
Charles Dang
db5f497fd7
Logging: fixed placement of title
2016-07-30 17:05:54 +11:00
Jonathan Combs
7d8a032589
gui2: new logging dialog
...
New dialog added to advanced preferences. It contains toggles to
activate and deactivate logging (log messages print to console). Also
added a getter method to the base log methods so that the dialog can
'remember' previous choices.
2016-05-27 13:11:53 -07:00
