 Ralph Plawetzki
|
78cf082096
Rename properties as suggested in the discussion to #2445
|
vor 3 Jahren |
|
Ralph Plawetzki
|
64c90f8107
Move checkbox to the front and rename members
|
vor 3 Jahren |
|
Ralph Plawetzki
|
e6c7fed662
Add disable all keyrings setting checkbox
|
vor 3 Jahren |
 Jan-Peter Klein
|
8f85777887
implemented functionality of feature request issue #1713 "On closing of the application: Always lock and quit – without asking"
|
vor 3 Jahren |
 Tobias Hagemann
|
79e1285b38
increased margins and spacings even further
|
vor 3 Jahren |
 Sebastian Stenzel
|
c8e131c49f
reordered controls
|
vor 3 Jahren |
|
Sebastian Stenzel
|
3b8f2adedf
increased margins and spacings
|
vor 3 Jahren |
|
Sebastian Stenzel
|
9b00cd923c
moved interface settings to separate preferences tab
|
vor 3 Jahren |
|
Sebastian Stenzel
|
d9aa6ae91a
display "language" chooser in general preferences
|
vor 3 Jahren |
 Sebastian Stenzel
|
7fac6da448
Single maven module (#1676)
|
vor 4 Jahren |
