mirror of
https://github.com/elementary/gala.git
synced 2024-12-23 17:23:01 +03:00
Keep references to dummy StyleContext-widgets
This commit is contained in:
parent
700ba45cf3
commit
6380b27b7f
@ -42,6 +42,7 @@ namespace Gala
|
|||||||
static GtkClutter.Texture? plus = null;
|
static GtkClutter.Texture? plus = null;
|
||||||
|
|
||||||
Gtk.StyleContext selector_style;
|
Gtk.StyleContext selector_style;
|
||||||
|
Gtk.EventBox selector_style_widget;
|
||||||
|
|
||||||
internal Clone wallpaper;
|
internal Clone wallpaper;
|
||||||
Clutter.Actor windows;
|
Clutter.Actor windows;
|
||||||
@ -56,9 +57,9 @@ namespace Gala
|
|||||||
workspace = _workspace;
|
workspace = _workspace;
|
||||||
screen = workspace.get_screen ();
|
screen = workspace.get_screen ();
|
||||||
|
|
||||||
var e = new Gtk.EventBox ();
|
selector_style_widget = new Gtk.EventBox ();
|
||||||
e.show ();
|
selector_style_widget.show ();
|
||||||
selector_style = e.get_style_context ();
|
selector_style = selector_style_widget.get_style_context ();
|
||||||
selector_style.add_class ("gala-workspace-selected");
|
selector_style.add_class ("gala-workspace-selected");
|
||||||
selector_style.add_provider (Utils.get_default_style (), Gtk.STYLE_PROVIDER_PRIORITY_FALLBACK);
|
selector_style.add_provider (Utils.get_default_style (), Gtk.STYLE_PROVIDER_PRIORITY_FALLBACK);
|
||||||
|
|
||||||
|
@ -37,6 +37,7 @@ namespace Gala
|
|||||||
bool wait_one_key_release; //called by shortcut, don't close it on first keyrelease
|
bool wait_one_key_release; //called by shortcut, don't close it on first keyrelease
|
||||||
|
|
||||||
Gtk.StyleContext background_style;
|
Gtk.StyleContext background_style;
|
||||||
|
Gtk.EventBox background_style_widget;
|
||||||
|
|
||||||
public WorkspaceView (Gala.Plugin _plugin)
|
public WorkspaceView (Gala.Plugin _plugin)
|
||||||
{
|
{
|
||||||
@ -47,9 +48,9 @@ namespace Gala
|
|||||||
reactive = true;
|
reactive = true;
|
||||||
clip_to_allocation = true;
|
clip_to_allocation = true;
|
||||||
|
|
||||||
var e = new Gtk.EventBox ();
|
background_style_widget = new Gtk.EventBox ();
|
||||||
e.show ();
|
background_style_widget.show ();
|
||||||
background_style = e.get_style_context ();
|
background_style = background_style_widget.get_style_context ();
|
||||||
background_style.add_class ("gala-workspaces-background");
|
background_style.add_class ("gala-workspaces-background");
|
||||||
background_style.add_provider (Utils.get_default_style (), Gtk.STYLE_PROVIDER_PRIORITY_FALLBACK);
|
background_style.add_provider (Utils.get_default_style (), Gtk.STYLE_PROVIDER_PRIORITY_FALLBACK);
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user