abakkk b3a1a77160 replace user stylesheet with proper drawing settings ... Since the most drawing params can be changed via menu or shortcuts, remove default.css and user.css. * Missing params like palettes, dash, grid, etc, are added to prefs. * Add palette choice to menu and shortcuts. * Some defaults like fonts, line width, etc, are no longer modifiable by the user.		2020-08-31 09:43:00 +02:00
..
gschemas.compiled	replace user stylesheet with proper drawing settings	2020-08-31 09:43:00 +02:00
org.gnome.shell.extensions.draw-on-your-screen.gschema.xml	replace user stylesheet with proper drawing settings	2020-08-31 09:43:00 +02:00