constants.js

'use strict';

import * as Config from 'resource:///org/gnome/shell/misc/config.js';
export const shellVersion = parseFloat(Config.PACKAGE_VERSION);

/*
 * GdkModifierType
 * 
 * See: https://gitlab.gnome.org/GNOME/gtk/blob/d726ecdb5d1ece870585c7be89eb6355b2482544/gdk/gdkenums.h:L74
 */
export const GDK_SHIFT_MASK    = 1 << 0;
export const GDK_CONTROL_MASK  = 1 << 2;
export const GDK_ALT_MASK      = 1 << 3;

export const GDK_META_MASK     = 1 << 28;

/* prefs settings */
export const PREFS_SETTING_AUTORESTORE_SESSIONS = 'autorestore-sessions';