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 | |
| 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')
| -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> |