Dave Davenport
|
a754815d14
|
Add converter back for old theme format.
|
2017-04-02 12:32:11 +02:00 |
|
Dave Davenport
|
28f74e3a5a
|
Change Configuration to configuration
|
2017-03-29 19:54:13 +02:00 |
|
Dave Davenport
|
5259eb11bc
|
Merge the configuration loading into something more simple (3)
|
2017-03-28 17:33:43 +02:00 |
|
Dave Davenport
|
958bb0ebc6
|
Use lexer type so signedness is correct.
|
2017-03-28 10:16:22 +02:00 |
|
Dave Davenport
|
439532450a
|
Fix position in first parsed file.
|
2017-03-28 09:19:04 +02:00 |
|
Dave Davenport
|
c7daf2d06c
|
I am bad, and that is good - Ralph. Fix missing include
|
2017-03-28 09:02:39 +02:00 |
|
Dave Davenport
|
b91a9fb0c0
|
Add 'Configuration' section to rasi format that parses config option.
|
2017-03-27 09:04:55 +02:00 |
|
Dave Davenport
|
5814478723
|
Add UTF8 string support to lex (I hope)
|
2017-03-26 22:54:53 +02:00 |
|
Dave Davenport
|
606f4e89c5
|
Add teardown debug message
|
2017-03-21 19:46:56 +01:00 |
|
Dave Davenport
|
9cfb075bc4
|
Add filename to location in error message.
|
2017-03-13 16:42:17 +01:00 |
|
Dave Davenport
|
d67a562d88
|
Get full canonical path for duplicate filtering.
|
2017-03-13 16:17:11 +01:00 |
|
Dave Davenport
|
ab9a2b05d3
|
Don't parse same files, multiple times.
|
2017-03-13 14:16:38 +01:00 |
|
Dave Davenport
|
1ca69704db
|
Cleanup lexer a bit
|
2017-03-13 10:49:33 +01:00 |
|
Dave Davenport
|
be036f086d
|
Reset location when importing, correctly resolve relative path
|
2017-03-13 08:54:55 +01:00 |
|
Dave Davenport
|
b7f4b7484f
|
Some initial support for @import in theme and try to fall back when theme fails to load
|
2017-03-11 17:06:06 +01:00 |
|
Dave Davenport
|
cb9255bbea
|
Allow slice allocator for theme
|
2017-03-04 20:09:19 +01:00 |
|
Dave Davenport
|
63d8bfb071
|
Updates
|
2017-01-11 23:19:29 +01:00 |
|
Dave Davenport
|
ca01af6338
|
Try to improve error handling and messages
|
2017-01-09 22:29:31 +01:00 |
|
Dave Davenport
|
854aa55453
|
Better error reporting (1)
|
2017-01-09 18:32:26 +01:00 |
|
Dave Davenport
|
a199fa3275
|
Improve error message theme a little bit
|
2017-01-09 08:55:51 +01:00 |
|
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 |
|