diff options
author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2018-06-09 19:13:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-09 19:13:57 +0200 |
commit | 441c511296dd4416b86d02ee8c0672cd08808f33 (patch) | |
tree | b5d3f7e13fddebe40f7bd7a6210b8e587ae290be /lexer/theme-lexer.l | |
parent | ca1ae5dfcd8170ad3978f0846b523cc0ff8980a2 (diff) |
Add an generic icon fetcher that can be used by any widget and re-uses the main threadpool.
Add an generic icon fetcher that can be used by any widget and re-uses the main threadpool.
* Make threadpool more generic usable.
* Add generic icon fetcher, that caches icons.
* Make DRUN use this fetcher.
* Add icon widget.
#809
Diffstat (limited to 'lexer/theme-lexer.l')
-rw-r--r-- | lexer/theme-lexer.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lexer/theme-lexer.l b/lexer/theme-lexer.l index da7c184f..bc1516f2 100644 --- a/lexer/theme-lexer.l +++ b/lexer/theme-lexer.l @@ -30,6 +30,7 @@ %option nounput %option never-interactive %option bison-locations +%option bison-bridge %{ #include <stdio.h> |