rofi/lexer
Dave Davenport f9fc01b176 Add percentage option to border,padding 2017-01-03 19:23:09 +01:00
..
theme-lexer.l Add percentage option to border,padding 2017-01-03 19:23:09 +01:00
theme-parser.y Update comments, rename Widget to ThemeWidget. 2017-01-01 18:08:49 +01:00