User Details
User Details
- User Since
- Jun 7 2018, 5:53 PM (310 w, 2 d)
- Availability
- Available
Oct 23 2018
Oct 23 2018
paldepind added a comment to T8707: Window borders.
If the default is that there are no borders (not even a technically-there-but-invisible-border) then, when users turn on borders, it makes sense that there should be a clearly visible border since the user explicitly asked for it.
Sep 24 2018
Sep 24 2018
paldepind added a comment to T8707: Window borders.
That is really awesome @anemeth. I've just compiled it with great results.
Jun 7 2018
Jun 7 2018
paldepind added a comment to T8707: Window borders.
We are not going to clip anything away from the windows. Sorry, but we cannot do that. It's in IMHO absolutely evil to clip away window content.
paldepind added a comment to M112: System Settings Alpha Graphic Redesign.
it would not allow 2, but rather n alterantives, since there are people who might have e.g. 3 use cases (all windows, all of current VD, all of current activity)