| Tue, 30 Apr 2019 14:21:11 +0200 |
Wuzzy |
Add explicit custom scroll bar style
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 05:00:14 +0100 |
Wuzzy |
Frontend: Tweak button padding once more
|
file |
diff |
annotate
|
| Sat, 12 Jan 2019 06:38:20 +0100 |
Wuzzy |
Frontend: More button padding tweaking
|
file |
diff |
annotate
|
| Fri, 11 Jan 2019 01:44:04 +0100 |
Wuzzy |
Frontend: Increase padding of small push buttons
|
file |
diff |
annotate
|
| Tue, 07 Aug 2018 16:07:13 +0200 |
Wuzzy |
Update outdated and broken holiday stylesheets
|
file |
diff |
annotate
|
| Fri, 30 Mar 2018 11:56:16 -0400 |
nemo |
add title manipulation
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 14:09:10 +0100 |
Wuzzy |
QTfrontent: Print map and style name in red, if missing. And update map label after delegation
|
file |
diff |
annotate
|
| Mon, 19 Mar 2018 00:09:07 +0100 |
Wuzzy |
Shorten and wrap map name properly when viewing room as non-master
|
file |
diff |
annotate
|
| Sat, 17 Mar 2018 00:13:49 +0100 |
Wuzzy |
Various minor frontend CSS tweaks
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 19:05:11 +0100 |
Wuzzy |
Frontend: Properly “gray out” most disabled widgets (a lot of them weren't)
|
file |
diff |
annotate
|
| Wed, 14 Mar 2018 21:46:07 +0100 |
Wuzzy |
Add images for radio buttons, add hover and pressed images for checkboxes
|
file |
diff |
annotate
|
| Sat, 26 Nov 2016 20:27:41 +0100 |
Wuzzy |
Fix group box text being cut off (fixes #125)
|
file |
diff |
annotate
|
| Mon, 10 Nov 2014 13:54:57 -0500 |
nemo |
strip styling for the slider, since it won't be put over the button
|
file |
diff |
annotate
|
| Sat, 08 Nov 2014 10:11:16 -0500 |
nemo |
sheepluva and unc0rr didn't like the idea of slider over preview.
|
file |
diff |
annotate
|
| Sat, 01 Nov 2014 11:20:37 -0400 |
nemo |
A slider for controlling things like bumpiness of map and tunnel sizes.
|
file |
diff |
annotate
|