weisj
98d398ba5c
Abstract usage of IconLoader away into an interface
...
This opens up the possibility of providing custom icons
through themes.
3 years ago
weisj
07e4162c96
Replace usage of DarkUIUtil.ICON_LOADER with AllIcons api
3 years ago
weisj
7a82a43a86
IconSet: Fix close hovered icon
3 years ago
weisj
ae003e6db7
Build: Make sure icons loaded by icon accessor are themed
3 years ago
weisj
1e065e90e4
IconSet: Generate accessor for selected icons and add missing icons
...
To avoid having people to rely on the location of icons we provide accessors for icons which are likely not to be removed or dramatically altered. This allows us to freely change the location of icons without breaking consumer code.
3 years ago
weisj
e22a699025
IconSet: Add license header to module-info
3 years ago
weisj
c807808273
IconSet: Make icon names more consistent
3 years ago
weisj
c43cbbc62e
Parser: Change inline prefix from `#` to '%'
...
Previously inline color declarations would need to be declared with two leading `#` being error prone to forgetting the second `#`.
3 years ago
weisj
774e4fea4d
Modules: Fix resource loading when running on the module path.
3 years ago