Miloslav Číž
|
360d786ff2
|
CS: Add rendering prefs and camera FOV
|
7 years ago |
PlutonicOverkill
|
5e60fb7c10
|
Fix preferences pane width
|
7 years ago |
PlutonicOverkill
|
5ec97811d8
|
Don't switch pages when right-clicking on list
|
8 years ago |
PlutonicOverkill
|
cd75c5618c
|
Move context menu code to PageBase
|
8 years ago |
PlutonicOverkill
|
646ff72cdc
|
Add a more elegant way of showing the context menu
|
8 years ago |
PlutonicOverkill
|
bd9f657603
|
Show context menu when user clicks on empty space
|
8 years ago |
PlutonicOverkill
|
4879405097
|
Add reset context menu for key binding pages
|
8 years ago |
PlutonicOverkill
|
3545cfa00a
|
Rewrite feature to reset options to default
|
8 years ago |
PlutonicOverkill
|
f30d1a3075
|
Revert everything
|
8 years ago |
PlutonicOverkill
|
a9760ec805
|
Fix indenting
|
8 years ago |
PlutonicOverkill
|
d8a711f89f
|
Fix tabs
|
8 years ago |
PlutonicOverkill
|
477af73ad6
|
Missed another one
|
8 years ago |
PlutonicOverkill
|
418aeb65f1
|
Remove unneeded dependencies
|
8 years ago |
PlutonicOverkill
|
dff3828710
|
Keep the settings page in sync with the real settings
|
8 years ago |
PlutonicOverkill
|
64879c03e4
|
Add option to reset settings to default
|
8 years ago |
Aesylwinn
|
1cce085fa2
|
Remove unused headers.
|
9 years ago |
Aesylwinn
|
65201badf6
|
Add custom page for key bindings.
|
9 years ago |
Marc Zinnschlag
|
be19da189a
|
fixed user settings not being saved when last document window is closed while user settings window is still open
|
9 years ago |
Marc Zinnschlag
|
8245b9e439
|
added interface for querying settings
|
9 years ago |
Marc Zinnschlag
|
b0fb6d56f1
|
added bool settings
|
9 years ago |
Marc Zinnschlag
|
c61d717e41
|
added integer settings
|
9 years ago |
Marc Zinnschlag
|
5e40b4d2e8
|
page switching mechanism
|
9 years ago |
Marc Zinnschlag
|
0dc3d10112
|
some simplification
|
9 years ago |
Marc Zinnschlag
|
b37a2ac09c
|
user settings categories
|
9 years ago |
Marc Zinnschlag
|
36ce8f97d7
|
basic framework for new user settings system
|
9 years ago |