diff options
| author | Marvin W <git@larma.de> | 2017-08-29 21:55:15 +0200 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2017-08-29 22:09:13 +0200 |
| commit | b4b115df48cabd796f0499def22505cb18223787 (patch) | |
| tree | aca78f12b280b3294ee6a427604a2334b5578da2 /main/src/ui/application.vala | |
| parent | b428c3a627e7de45b7a9cde85893dcca06926561 (diff) | |
| download | dino-b4b115df48cabd796f0499def22505cb18223787.tar.gz dino-b4b115df48cabd796f0499def22505cb18223787.zip | |
main: extend theming capabilities
Diffstat (limited to 'main/src/ui/application.vala')
| -rw-r--r-- | main/src/ui/application.vala | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/main/src/ui/application.vala b/main/src/ui/application.vala index 0183e30d..708c63b0 100644 --- a/main/src/ui/application.vala +++ b/main/src/ui/application.vala @@ -14,12 +14,15 @@ public class Dino.Ui.Application : Gtk.Application, Dino.Application { public SearchPathGenerator? search_path_generator { get; set; } public Application() throws Error { - Object(application_id: "im.dino.Dino", flags: ApplicationFlags.HANDLES_OPEN); + Object(application_id: "im.dino", flags: ApplicationFlags.HANDLES_OPEN); init(); Notify.init("dino"); Environment.set_application_name("Dino"); - Gtk.Window.set_default_icon_name("dino"); - IconTheme.get_default().add_resource_path("/im/dino/icons"); + Window.set_default_icon_name("dino"); + + CssProvider provider = new CssProvider(); + provider.load_from_resource("/im/dino/pre_theme.css"); + StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), provider, STYLE_PROVIDER_PRIORITY_THEME - 1); activate.connect(() => { if (window == null) { |