3 commits

Author	SHA1	Message	Date
Zankaria	9bb7f0d2f2	general.js: do not move the style-select in the options	2025-02-12 23:30:00 +01:00
czaks	f5820d2aae	move a few options to a general tab in options panel	2014-09-20 22:10:44 +02:00
czaks	f7a015e7fe	add user-options dialog functionality; port webm-settings to it; make a basic general settings applet; make it work on mobiles	2014-09-20 06:19:34 +02:00