]> spindle.queued.net Git - midori/commit
projects / midori / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f80303) | patch
Hide the User Stylesheet preference if unused
authorChristian Dywan <christian@twotoasts.de>
Thu, 11 Sep 2008 00:00:52 +0000 (02:00 +0200)
committerChristian Dywan <christian@twotoasts.de>
Thu, 11 Sep 2008 00:00:52 +0000 (02:00 +0200)
commitc80b7053f4e9a7e5e5432409edc7031ef9b2c12c
treea2e0c6d26092b0f4815029cf45f95414e2f5d260tree | snapshot
parent4f80303e5465f415b2a931dcc60a7de33e9a550ecommit | diff
Hide the User Stylesheet preference if unused

We have more powerful options in the form of
addon panels by now. If someone uses it they may
keep their preference or clear it, but otherwise
we don't show the widget anymore.
midori/midori-preferences.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.