[Github-comments] [geany/geany] Theme improvements (#1382)

Matthew Brush notifications at xxxxx
Sat Jan 28 21:25:10 UTC 2017


codebrainz commented on this pull request.



> @@ -1,10 +0,0 @@
- at import "geany.css";
-
-/* make close button on the editor's tabs smaller */
-#geany-close-tab-button {
-	-GtkWidget-focus-padding: 0;
-	-GtkWidget-focus-line-width: 0;
-	-GtkButton-default-border: 0;
-	-GtkButton-default-outside-border: 0;
-	-GtkButton-inner-border: 0;
-}

It's not really a loss of flexibility, I just saw the opportunity to remove one redundant file. If something else comes up, we can add other CSS files and load them conditionally based on version, like is done for 3.20. The main improvement is that it's now using the Cascading effect instead of relying on `@import`ing another file.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1382
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170128/505010d0/attachment.html>


More information about the Github-comments mailing list