-
Notifications
You must be signed in to change notification settings - Fork 54
Conversation
The current font colour for the light theme does not provide enough of a contrast to be easily legible. This commit reduces the contrast colour by approx 7% This resolves for #406
I still get an error for a missing css file (which I deleted):
Edit: Fixed in later commits. I think we need to enable sassc for all gtk versions to work properly. Otherwise we have a mix between gulp and sassc which is really not a good idea. |
We have to use sassc for all gtk versions or not at all. Otherwise we have a mix of css and scss files which is a pure mess to maintain. You introduce a new tool but have to maintain both. We are no companies, we dont want that mess ;) Especially because 18.04 of ubuntu has sassc and debian also. Older distros only have legacy releases then if they dont build with sassc. Also PRs like your budgie and darken fonts pr give tons of unresolvable conflicts. For distributions without sassc you can install it manually: |
What DE is that? - need to reproduce it to have a look. |
ah - this must be XFCE - and I saw this horst3180/arc-theme#800 - that colour variation for the panel is a pre-existing issue. I guess explicitly setting the color of the xfce panel may work - something like this off the top of my head:
or maybe:
or maybe:
.... |
Alright, i will have a look into this. Can you please check my todo list from the very top and give me feedback on those? I would remove the chrome theme, add the plank theme to the makefile. Do you agree? |
Yep - agree with both suggestions - chrome and plank +1 As an aside - my debian package manually installs the plank theme- so I'm happy to remove this unnecessary hack. |
Where do we need to put the code to install the plank theme? I guess inside the makefile of the extra directory? I have no idea, can you help please? All other issues i have postponed for the next release, unless you fix them in time. But its not critical now. Release history is still TODO. |
@fossfreedom Where should we put the release notes? To the github releases directly? That is how it was done before. Did I miss anything special? In order to better track all new changes, we really need to only work with PRs and tag them with milestones. So no direct committing to master if possible, as I will only read PRs for the release history. Otherwise it is a real mess to write a proper release history. |
Release History
Release 20180114
Release 20171105
Release 20170302