ThomasV
|
d94aee83b9
|
enable sorting for all lists except history
|
2015-04-23 18:28:37 +02:00 |
ThomasV
|
ff152141ae
|
fix: always use UserRole to store the key
|
2015-04-04 21:38:21 +02:00 |
ThomasV
|
93250b1041
|
gui simplification
|
2015-04-04 20:59:57 +02:00 |
ThomasV
|
b8a72180c7
|
HistoryWidget class; address history window
|
2015-04-04 18:26:52 +02:00 |
Tafelpoot
|
d9c5250a6f
|
removed trailing whitespace and fixed indentation in history widget
|
2014-10-21 19:05:51 +02:00 |
ThomasV
|
2c0814f0d3
|
simplify gui names
|
2013-09-24 10:06:03 +02:00 |