User Details
User Details
- User Since
- Feb 14 2019, 8:45 AM (271 w, 3 h)
- Availability
- Available
Feb 15 2019
Feb 15 2019
andrzej1_1 updated the diff for D18999: Remove ignored style properties from CSS.
@ngraham Sorry, I made some mistake when generating patch. Now everything should be correct.
Feb 14 2019
Feb 14 2019
andrzej1_1 added a comment to D18999: Remove ignored style properties from CSS.
@ngraham done; I updated revison. My full name is Andrzej Broński and my email: andrzej1_1@o2.pl.
andrzej1_1 updated the diff for D18999: Remove ignored style properties from CSS.
Include fixes for -GtkExpander-expander-size and -GtkCheckButton-indicator-size
andrzej1_1 added a comment to D18999: Remove ignored style properties from CSS.
@ngraham This fix was prepared for totally ignored style properties only. For example GtkCheckButton:indicator-size cannot be just removed:
andrzej1_1 retitled D18999: Remove ignored style properties from CSS from Remove ignore style properties from CSS to Remove ignored style properties from CSS.
andrzej1_1 requested review of D18999: Remove ignored style properties from CSS.