26 Commits (0.7.1-build-fixes)

Author	SHA1	Message	Date
Andrei Kortunov	4ee15ddcb9	Fix many Coverity Scan warnings	6 years ago
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