-
Paulo Queiroz authored
App - Introduced "show scrollbars" option & gschema key - Introduced "overlay scrolling" option & gchema key - implements #6 - Replaced "Profiles" page with "Advanced" in preferences - Introduced experimental section in Advanced preferences - Introduced "pixel scrolling" experimental option & gschema key - Bumped verion to 42.alpha1
7e3c461e