2014-04-08 16:51:06 +04:00
|
|
|
//
|
2012-08-28 19:49:58 +04:00
|
|
|
// Copyright (C) 2012 Tom Beckmann, Rico Tzschichholz
|
2014-04-08 16:51:06 +04:00
|
|
|
//
|
2012-08-28 19:49:58 +04:00
|
|
|
// This program is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
2014-04-08 16:51:06 +04:00
|
|
|
//
|
2012-08-28 19:49:58 +04:00
|
|
|
// This program is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
2014-04-08 16:51:06 +04:00
|
|
|
//
|
2012-08-28 19:49:58 +04:00
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
2014-04-08 16:51:06 +04:00
|
|
|
//
|
2012-08-28 19:49:58 +04:00
|
|
|
|
2019-09-05 23:18:43 +03:00
|
|
|
namespace Gala {
|
|
|
|
public class Utils {
|
2020-10-27 21:15:57 +03:00
|
|
|
private struct CachedIcon {
|
|
|
|
public Gdk.Pixbuf icon;
|
|
|
|
public int icon_size;
|
|
|
|
public int scale;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
|
|
|
static Gdk.Pixbuf? resize_pixbuf = null;
|
2020-10-27 21:15:57 +03:00
|
|
|
static Gdk.Pixbuf? close_pixbuf = null;
|
|
|
|
|
|
|
|
static Gee.HashMultiMap<DesktopAppInfo, CachedIcon?> icon_cache;
|
|
|
|
static Gee.HashMap<Meta.Window, DesktopAppInfo> window_to_desktop_cache;
|
|
|
|
static Gee.ArrayList<CachedIcon?> unknown_icon_cache;
|
|
|
|
|
|
|
|
static AppCache app_cache;
|
2019-09-05 23:18:43 +03:00
|
|
|
|
|
|
|
static construct {
|
2020-10-27 21:15:57 +03:00
|
|
|
icon_cache = new Gee.HashMultiMap<DesktopAppInfo, CachedIcon?> ();
|
|
|
|
window_to_desktop_cache = new Gee.HashMap<Meta.Window, DesktopAppInfo> ();
|
|
|
|
unknown_icon_cache = new Gee.ArrayList<CachedIcon?> ();
|
2019-09-05 23:18:43 +03:00
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
app_cache = new AppCache ();
|
|
|
|
app_cache.changed.connect (() => {
|
|
|
|
icon_cache.clear ();
|
|
|
|
window_to_desktop_cache.clear ();
|
|
|
|
});
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
public static Gdk.Pixbuf get_icon_for_window (Meta.Window window, int icon_size, int scale) {
|
|
|
|
var transient_for = window.get_transient_for ();
|
|
|
|
if (transient_for != null) {
|
|
|
|
return get_icon_for_window (transient_for, icon_size, scale);
|
|
|
|
}
|
|
|
|
|
|
|
|
GLib.DesktopAppInfo? desktop_app = null;
|
|
|
|
desktop_app = window_to_desktop_cache[window];
|
|
|
|
if (desktop_app != null) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
var sandbox_id = window.get_sandboxed_app_id ();
|
|
|
|
|
|
|
|
var wm_instance = window.get_wm_class_instance ();
|
|
|
|
desktop_app = app_cache.lookup_startup_wmclass (wm_instance);
|
|
|
|
if (desktop_app != null && check_app_prefix (desktop_app, sandbox_id)) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
var wm_class = window.get_wm_class ();
|
|
|
|
desktop_app = app_cache.lookup_startup_wmclass (wm_class);
|
|
|
|
if (desktop_app != null && check_app_prefix (desktop_app, sandbox_id)) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
desktop_app = lookup_desktop_wmclass (wm_instance);
|
|
|
|
if (desktop_app != null && check_app_prefix (desktop_app, sandbox_id)) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
desktop_app = lookup_desktop_wmclass (wm_class);
|
|
|
|
if (desktop_app != null && check_app_prefix (desktop_app, sandbox_id)) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
desktop_app = get_app_from_id (sandbox_id);
|
|
|
|
if (desktop_app != null) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
var gapplication_id = window.get_gtk_application_id ();
|
|
|
|
desktop_app = get_app_from_id (gapplication_id);
|
|
|
|
if (desktop_app != null) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
unowned Meta.Group group = window.get_group ();
|
|
|
|
if (group != null) {
|
|
|
|
var group_windows = group.list_windows ();
|
|
|
|
group_windows.foreach ((window) => {
|
|
|
|
if (window.get_window_type () != Meta.WindowType.NORMAL) {
|
|
|
|
return;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
if (window_to_desktop_cache[window] != null) {
|
|
|
|
desktop_app = window_to_desktop_cache[window];
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
if (desktop_app != null) {
|
|
|
|
var icon = get_icon_for_desktop_app_info (desktop_app, icon_size, scale);
|
|
|
|
if (icon != null) {
|
|
|
|
window_to_desktop_cache[window] = desktop_app;
|
|
|
|
return icon;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
}
|
2020-10-27 21:15:57 +03:00
|
|
|
|
|
|
|
// Haven't been able to get an icon for the window at this point, look to see
|
|
|
|
// if we've already cached "application-default-icon" at this size
|
|
|
|
foreach (var icon in unknown_icon_cache) {
|
|
|
|
if (icon.icon_size == icon_size && icon.scale == scale) {
|
|
|
|
return icon.icon;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Construct a new "application-default-icon" and store it in the cache
|
|
|
|
try {
|
|
|
|
var icon = Gtk.IconTheme.get_default ().load_icon_for_scale ("application-default-icon", icon_size, scale, 0);
|
|
|
|
unknown_icon_cache.add (new CachedIcon () { icon = icon, icon_size = icon_size, scale = scale });
|
|
|
|
return icon;
|
|
|
|
} catch (Error e) {
|
|
|
|
var icon = new Gdk.Pixbuf (Gdk.Colorspace.RGB, true, 8, icon_size * scale, icon_size * scale);
|
|
|
|
icon.fill (0x00000000);
|
|
|
|
return icon;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
private static bool check_app_prefix (GLib.DesktopAppInfo app, string? sandbox_id) {
|
|
|
|
if (sandbox_id == null) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
var prefix = "%s.".printf (sandbox_id);
|
|
|
|
|
|
|
|
if (app.get_id ().has_prefix (prefix)) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
public static void clear_window_cache (Meta.Window window) {
|
|
|
|
var desktop = window_to_desktop_cache[window];
|
|
|
|
if (desktop != null) {
|
|
|
|
icon_cache.remove_all (desktop);
|
|
|
|
window_to_desktop_cache.unset (window);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private static GLib.DesktopAppInfo? get_app_from_id (string? id) {
|
|
|
|
if (id == null) {
|
|
|
|
return null;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
var desktop_file = "%s.desktop".printf (id);
|
|
|
|
return app_cache.lookup_id (desktop_file);
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
private static GLib.DesktopAppInfo? lookup_desktop_wmclass (string? wm_class) {
|
|
|
|
if (wm_class == null) {
|
|
|
|
return null;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
var desktop_info = get_app_from_id (wm_class);
|
|
|
|
|
|
|
|
if (desktop_info != null) {
|
|
|
|
return desktop_info;
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
var canonicalized = wm_class.ascii_down ().delimit (" ", '-');
|
|
|
|
return get_app_from_id (canonicalized);
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
private static Gdk.Pixbuf? get_icon_for_desktop_app_info (GLib.DesktopAppInfo desktop, int icon_size, int scale) {
|
|
|
|
if (icon_cache.contains (desktop)) {
|
|
|
|
foreach (var icon in icon_cache[desktop]) {
|
|
|
|
if (icon.icon_size == icon_size && icon.scale == scale) {
|
|
|
|
return icon.icon;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
var icon = desktop.get_icon ();
|
|
|
|
|
|
|
|
if (icon is GLib.ThemedIcon) {
|
|
|
|
var icon_names = ((GLib.ThemedIcon)icon).get_names ();
|
|
|
|
var icon_info = Gtk.IconTheme.get_default ().choose_icon_for_scale (icon_names, icon_size, scale, 0);
|
|
|
|
|
|
|
|
if (icon_info == null) {
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2019-09-05 23:18:43 +03:00
|
|
|
try {
|
2020-10-27 21:15:57 +03:00
|
|
|
var pixbuf = icon_info.load_icon ();
|
|
|
|
icon_cache.@set (desktop, new CachedIcon () { icon = pixbuf, icon_size = icon_size, scale = scale });
|
|
|
|
return pixbuf;
|
2019-09-05 23:18:43 +03:00
|
|
|
} catch (Error e) {
|
2020-10-27 21:15:57 +03:00
|
|
|
return null;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
2020-10-27 21:15:57 +03:00
|
|
|
} else if (icon is GLib.FileIcon) {
|
|
|
|
var file = ((GLib.FileIcon)icon).file;
|
|
|
|
var size_with_scale = icon_size * scale;
|
|
|
|
try {
|
|
|
|
var pixbuf = new Gdk.Pixbuf.from_stream_at_scale (file.read (), size_with_scale, size_with_scale, true);
|
|
|
|
icon_cache.@set (desktop, new CachedIcon () { icon = pixbuf, icon_size = icon_size, scale = scale });
|
|
|
|
return pixbuf;
|
|
|
|
} catch (Error e) {
|
|
|
|
return null;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-10-27 21:15:57 +03:00
|
|
|
return null;
|
2019-09-05 23:18:43 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Get the number of toplevel windows on a workspace excluding those that are
|
|
|
|
* on all workspaces
|
|
|
|
*
|
|
|
|
* @param workspace The workspace on which to count the windows
|
|
|
|
*/
|
|
|
|
public static uint get_n_windows (Meta.Workspace workspace) {
|
|
|
|
var n = 0;
|
|
|
|
foreach (weak Meta.Window window in workspace.list_windows ()) {
|
|
|
|
if (window.on_all_workspaces)
|
|
|
|
continue;
|
|
|
|
if (
|
|
|
|
window.window_type == Meta.WindowType.NORMAL ||
|
|
|
|
window.window_type == Meta.WindowType.DIALOG ||
|
|
|
|
window.window_type == Meta.WindowType.MODAL_DIALOG)
|
|
|
|
n ++;
|
|
|
|
}
|
|
|
|
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Creates an actor showing the current contents of the given WindowActor.
|
|
|
|
*
|
|
|
|
* @param actor The actor from which to create a shnapshot
|
|
|
|
* @param inner_rect The inner (actually visible) rectangle of the window
|
|
|
|
* @param outer_rect The outer (input region) rectangle of the window
|
|
|
|
*
|
|
|
|
* @return A copy of the actor at that time or %NULL
|
|
|
|
*/
|
|
|
|
public static Clutter.Actor? get_window_actor_snapshot (
|
|
|
|
Meta.WindowActor actor,
|
|
|
|
Meta.Rectangle inner_rect,
|
|
|
|
Meta.Rectangle outer_rect
|
|
|
|
) {
|
|
|
|
var texture = actor.get_texture () as Meta.ShapedTexture;
|
|
|
|
|
|
|
|
if (texture == null)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
var surface = texture.get_image ({
|
|
|
|
inner_rect.x - outer_rect.x,
|
|
|
|
inner_rect.y - outer_rect.y,
|
|
|
|
inner_rect.width,
|
|
|
|
inner_rect.height
|
|
|
|
});
|
|
|
|
|
|
|
|
if (surface == null)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
var canvas = new Clutter.Canvas ();
|
|
|
|
var handler = canvas.draw.connect ((cr) => {
|
|
|
|
cr.set_source_surface (surface, 0, 0);
|
|
|
|
cr.paint ();
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
canvas.set_size (inner_rect.width, inner_rect.height);
|
|
|
|
SignalHandler.disconnect (canvas, handler);
|
|
|
|
|
|
|
|
var container = new Clutter.Actor ();
|
|
|
|
container.set_size (inner_rect.width, inner_rect.height);
|
|
|
|
container.content = canvas;
|
|
|
|
|
|
|
|
return container;
|
|
|
|
}
|
|
|
|
|
2019-11-01 00:22:38 +03:00
|
|
|
/**
|
|
|
|
* Ring the system bell, will most likely emit a <beep> error sound or, if the
|
|
|
|
* audible bell is disabled, flash the display
|
|
|
|
*
|
|
|
|
* @param display The display to flash, if necessary
|
|
|
|
*/
|
2020-01-09 23:29:01 +03:00
|
|
|
public static void bell (Meta.Display display) {
|
2019-11-01 00:22:38 +03:00
|
|
|
if (Meta.Prefs.bell_is_audible ())
|
|
|
|
Gdk.beep ();
|
|
|
|
else
|
|
|
|
display.get_compositor ().flash_display (display);
|
|
|
|
}
|
2019-09-05 23:18:43 +03:00
|
|
|
|
|
|
|
public static int get_ui_scaling_factor () {
|
|
|
|
return Meta.Backend.get_backend ().get_settings ().get_ui_scaling_factor ();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns the pixbuf that is used for close buttons throughout gala at a
|
|
|
|
* size of 36px
|
|
|
|
*
|
|
|
|
* @return the close button pixbuf or null if it failed to load
|
|
|
|
*/
|
|
|
|
public static Gdk.Pixbuf? get_close_button_pixbuf () {
|
|
|
|
var height = 36 * Utils.get_ui_scaling_factor ();
|
|
|
|
if (close_pixbuf == null || close_pixbuf.height != height) {
|
|
|
|
try {
|
|
|
|
close_pixbuf = new Gdk.Pixbuf.from_resource_at_scale (
|
|
|
|
Config.RESOURCEPATH + "/buttons/close.svg",
|
|
|
|
-1,
|
|
|
|
height,
|
|
|
|
true
|
|
|
|
);
|
|
|
|
} catch (Error e) {
|
|
|
|
warning (e.message);
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return close_pixbuf;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Creates a new reactive ClutterActor at 36px with the close pixbuf
|
|
|
|
*
|
|
|
|
* @return The close button actor
|
|
|
|
*/
|
|
|
|
public static Clutter.Actor create_close_button () {
|
2020-03-13 01:38:28 +03:00
|
|
|
var texture = new Clutter.Actor ();
|
2019-09-05 23:18:43 +03:00
|
|
|
var pixbuf = get_close_button_pixbuf ();
|
|
|
|
|
|
|
|
texture.reactive = true;
|
|
|
|
|
|
|
|
if (pixbuf != null) {
|
|
|
|
try {
|
2020-03-13 01:38:28 +03:00
|
|
|
var image = new Clutter.Image ();
|
|
|
|
Cogl.PixelFormat pixel_format = (pixbuf.get_has_alpha () ? Cogl.PixelFormat.RGBA_8888 : Cogl.PixelFormat.RGB_888);
|
|
|
|
image.set_data (pixbuf.get_pixels (), pixel_format, pixbuf.width, pixbuf.height, pixbuf.rowstride);
|
|
|
|
texture.set_content (image);
|
2020-04-26 16:13:54 +03:00
|
|
|
texture.set_size (pixbuf.width, pixbuf.height);
|
2019-09-05 23:18:43 +03:00
|
|
|
} catch (Error e) {}
|
|
|
|
} else {
|
|
|
|
// we'll just make this red so there's at least something as an
|
|
|
|
// indicator that loading failed. Should never happen and this
|
|
|
|
// works as good as some weird fallback-image-failed-to-load pixbuf
|
|
|
|
var scale = Utils.get_ui_scaling_factor ();
|
|
|
|
texture.set_size (36 * scale, 36 * scale);
|
|
|
|
texture.background_color = { 255, 0, 0, 255 };
|
|
|
|
}
|
|
|
|
|
|
|
|
return texture;
|
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Returns the pixbuf that is used for resize buttons throughout gala at a
|
|
|
|
* size of 36px
|
|
|
|
*
|
|
|
|
* @return the close button pixbuf or null if it failed to load
|
|
|
|
*/
|
|
|
|
public static Gdk.Pixbuf? get_resize_button_pixbuf () {
|
|
|
|
var height = 36 * Utils.get_ui_scaling_factor ();
|
|
|
|
if (resize_pixbuf == null || resize_pixbuf.height != height) {
|
|
|
|
try {
|
|
|
|
resize_pixbuf = new Gdk.Pixbuf.from_resource_at_scale (
|
|
|
|
Config.RESOURCEPATH + "/buttons/resize.svg",
|
|
|
|
-1,
|
|
|
|
height,
|
|
|
|
true
|
|
|
|
);
|
|
|
|
} catch (Error e) {
|
|
|
|
warning (e.message);
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return resize_pixbuf;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Creates a new reactive ClutterActor at 36px with the resize pixbuf
|
|
|
|
*
|
|
|
|
* @return The resize button actor
|
|
|
|
*/
|
|
|
|
public static Clutter.Actor create_resize_button () {
|
2020-03-13 01:38:28 +03:00
|
|
|
var texture = new Clutter.Actor ();
|
2019-09-05 23:18:43 +03:00
|
|
|
var pixbuf = get_resize_button_pixbuf ();
|
|
|
|
|
|
|
|
texture.reactive = true;
|
|
|
|
|
|
|
|
if (pixbuf != null) {
|
|
|
|
try {
|
2020-03-13 01:38:28 +03:00
|
|
|
var image = new Clutter.Image ();
|
|
|
|
Cogl.PixelFormat pixel_format = (pixbuf.get_has_alpha () ? Cogl.PixelFormat.RGBA_8888 : Cogl.PixelFormat.RGB_888);
|
|
|
|
image.set_data (pixbuf.get_pixels (), pixel_format, pixbuf.width, pixbuf.height, pixbuf.rowstride);
|
|
|
|
texture.set_content (image);
|
2020-04-26 16:13:54 +03:00
|
|
|
texture.set_size (pixbuf.width, pixbuf.height);
|
2019-09-05 23:18:43 +03:00
|
|
|
} catch (Error e) {}
|
|
|
|
} else {
|
|
|
|
// we'll just make this red so there's at least something as an
|
|
|
|
// indicator that loading failed. Should never happen and this
|
|
|
|
// works as good as some weird fallback-image-failed-to-load pixbuf
|
|
|
|
var scale = Utils.get_ui_scaling_factor ();
|
|
|
|
texture.set_size (36 * scale, 36 * scale);
|
|
|
|
texture.background_color = { 255, 0, 0, 255 };
|
|
|
|
}
|
|
|
|
|
|
|
|
return texture;
|
|
|
|
}
|
|
|
|
|
|
|
|
static Gtk.CssProvider gala_css = null;
|
|
|
|
public static unowned Gtk.CssProvider? get_gala_css () {
|
|
|
|
if (gala_css == null) {
|
|
|
|
gala_css = new Gtk.CssProvider ();
|
|
|
|
gala_css.load_from_resource ("/io/elementary/desktop/gala/gala.css");
|
|
|
|
}
|
|
|
|
|
|
|
|
return gala_css;
|
|
|
|
}
|
|
|
|
}
|
2012-06-30 17:55:30 +04:00
|
|
|
}
|