Dave Davenport
|
713d41f619
|
Allow matching highlighting to be set. Fixes #522
|
2017-01-09 00:09:02 +01:00 |
|
Dave Davenport
|
3944a5bde2
|
Reset parsing queue on EOF.
|
2017-01-08 16:16:09 +01:00 |
|
Dave Davenport
|
c57e7348d2
|
Add some better error message. Allow -theme-str option to override part of theme
|
2017-01-08 16:09:24 +01:00 |
|
Dave Davenport
|
0d9804f108
|
Don't allow global properties, need to be in a * { }
|
2017-01-07 00:23:39 +01:00 |
|
Dave Davenport
|
e388aa95c7
|
Allow * { } syntax for default values.
|
2017-01-06 23:41:10 +01:00 |
|
Dave Davenport
|
b26d241f04
|
Make parser accept old + more CSS style elements
|
2017-01-06 23:25:55 +01:00 |
|
Dave Davenport
|
06c5f51e7d
|
Allow to set anchor position on normitor and anchor position on window.
|
2017-01-06 19:04:25 +01:00 |
|
Dave Davenport
|
fb59be5d72
|
Fix file location in parser
|
2017-01-05 22:04:39 +01:00 |
|
Dave Davenport
|
4cc21b93a5
|
Allow linking to top level properties.
|
2017-01-05 18:22:34 +01:00 |
|
Dave Davenport
|
9dd3cb312e
|
Support linestyle on border
|
2017-01-04 22:27:27 +01:00 |
|
Dave Davenport
|
85a0e1a57e
|
Remove class system from new theme format. Fix theme converter.
|
2017-01-04 15:05:39 +01:00 |
|
Dave Davenport
|
f9fc01b176
|
Add percentage option to border,padding
|
2017-01-03 19:23:09 +01:00 |
|
Dave Davenport
|
ccf3f23d9b
|
Update comments, rename Widget to ThemeWidget.
|
2017-01-01 18:08:49 +01:00 |
|
Dave Davenport
|
e29f89e401
|
Reorder padding order, support 1,2,3,4 entries.
|
2017-01-01 01:31:25 +01:00 |
|
Dave Davenport
|
d35e70d817
|
Support converting old theme internally, add first option to dump theme
|
2017-01-01 01:06:38 +01:00 |
|
Dave Davenport
|
7b0e0643c8
|
Make spacing be of type distance.
|
2016-12-31 23:27:17 +01:00 |
|
Dave Davenport
|
068592414e
|
Support em format in padding
|
2016-12-31 22:47:22 +01:00 |
|
Dave Davenport
|
5f424fa598
|
Padding should be specified in px now and 4 borders can be specified on
one pixel line.
|
2016-12-31 21:37:19 +01:00 |
|
Dave Davenport
|
a2001d1b9c
|
Add window widget, play with logic for sizing (broken)
|
2016-12-28 19:42:14 +01:00 |
|
Dave Davenport
|
be3ce75f5d
|
Make parsing of strings more flexible.
- Make use of building expressions.
|
2016-12-19 17:48:20 +01:00 |
|
Dave Davenport
|
d8b877147c
|
Fix cleanup lexer, add properties to theme documentation.
|
2016-12-19 08:10:33 +01:00 |
|
Dave Davenport
|
a8a8906adc
|
Improve theme parser on error.
|
2016-12-17 16:16:28 +01:00 |
|
Dave Davenport
|
b8e58b0342
|
Make parser more flexible, allow global properties to be anywhere in file and allow multiple similar entries.
|
2016-12-16 09:28:13 +01:00 |
|
Dave Davenport
|
fcba4b8d34
|
Support old argb:{HEX}{8} format.
|
2016-12-13 08:00:35 +01:00 |
|
Dave Davenport
|
38035568f3
|
Fix separator class and tweak parser inheritance.
|
2016-12-13 00:09:51 +01:00 |
|
Dave Davenport
|
fd64bb7a41
|
Improve lexer by adding support for modes.
|
2016-12-12 23:40:43 +01:00 |
|
Dave Davenport
|
be0677cf49
|
Update theme to new format.
- @class state {
}
- #name state {
}
|
2016-12-12 21:14:57 +01:00 |
|
Dave Davenport
|
c6030063c6
|
Keep track of location in parser
|
2016-12-12 16:55:31 +01:00 |
|
Dave Davenport
|
6cca2b1ecd
|
Remove debug output
|
2016-12-11 21:58:55 +01:00 |
|
Dave Davenport
|
8f8d296029
|
Add support for // and /* */ comments
|
2016-12-11 18:25:47 +01:00 |
|
Dave Davenport
|
7f40ed1065
|
Add support for rgb() rgba() color codes
|
2016-12-11 17:50:03 +01:00 |
|
Dave Davenport
|
5e371eedeb
|
Change language parser to glr type, remove type prefix.
|
2016-12-11 14:08:28 +01:00 |
|
Dave Davenport
|
1dfac3c4da
|
Update to new theme
|
2016-12-11 12:19:46 +01:00 |
|
Dave Davenport
|
5fd76b75b1
|
Add some color stuff
|
2016-12-10 19:48:44 +01:00 |
|
Dave Davenport
|
2d01d1566a
|
Add some properties to themes
|
2016-12-09 22:16:31 +01:00 |
|
Dave Davenport
|
aa8c90cd7e
|
Fix include.
|
2016-12-09 20:04:50 +01:00 |
|
Dave Davenport
|
d18f037d1c
|
Add lex/bison parser for theme.
|
2016-12-09 19:49:49 +01:00 |
|