[gnome-shell-extensions] cleanup: Require "dangling" commas
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] cleanup: Require "dangling" commas
- Date: Wed, 21 Aug 2019 17:21:52 +0000 (UTC)
commit eb79f5b512c7774938e56f200e4c9ecf65fcf8e6
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Aug 7 03:36:55 2019 +0200
cleanup: Require "dangling" commas
Since ES5, trailing commas in arrays and object literals are valid.
We generally haven't used them so far, but they are actually a good
idea, as they make additions and removals in diffs much cleaner.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/91
extensions/apps-menu/extension.js | 18 +++++++-------
extensions/auto-move-windows/extension.js | 2 +-
extensions/auto-move-windows/prefs.js | 24 +++++++++----------
extensions/drive-menu/extension.js | 6 ++---
extensions/places-menu/extension.js | 8 +++----
extensions/places-menu/placeDisplay.js | 6 ++---
extensions/screenshot-window-sizer/extension.js | 2 +-
extensions/user-theme/extension.js | 4 ++--
extensions/window-list/extension.js | 32 ++++++++++++-------------
extensions/window-list/prefs.js | 12 +++++-----
extensions/window-list/windowPicker.js | 14 +++++------
extensions/window-list/workspaceIndicator.js | 20 ++++++++--------
extensions/windowsNavigator/extension.js | 4 ++--
extensions/workspace-indicator/extension.js | 18 +++++++-------
extensions/workspace-indicator/prefs.js | 4 ++--
15 files changed, 87 insertions(+), 87 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index d7e108d..1236f82 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -2,7 +2,7 @@
/* exported init enable disable */
const {
- Atk, Clutter, Gio, GLib, GMenu, GObject, Gtk, Meta, Shell, St
+ Atk, Clutter, Gio, GLib, GMenu, GObject, Gtk, Meta, Shell, St,
} = imports.gi;
const Signals = imports.signals;
@@ -38,7 +38,7 @@ class ApplicationMenuItem extends PopupMenu.PopupBaseMenuItem {
let appLabel = new St.Label({
text: app.get_name(),
y_expand: true,
- y_align: Clutter.ActorAlign.CENTER
+ y_align: Clutter.ActorAlign.CENTER,
});
this.add_child(appLabel);
this.label_actor = appLabel;
@@ -367,7 +367,7 @@ class ApplicationsButton extends PanelMenu.Button {
this._label = new St.Label({
text: _('Applications'),
y_expand: true,
- y_align: Clutter.ActorAlign.CENTER
+ y_align: Clutter.ActorAlign.CENTER,
});
hbox.add_child(this._label);
hbox.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
@@ -420,7 +420,7 @@ class ApplicationsButton extends PanelMenu.Button {
_createVertSeparator() {
let separator = new St.DrawingArea({
style_class: 'calendar-vertical-separator',
- pseudo_class: 'highlighted'
+ pseudo_class: 'highlighted',
});
separator.connect('repaint', this._onVertSepRepaint.bind(this));
return separator;
@@ -559,7 +559,7 @@ class ApplicationsButton extends PanelMenu.Button {
x_fill: true,
y_fill: false,
y_align: St.Align.START,
- style_class: 'apps-menu vfade'
+ style_class: 'apps-menu vfade',
});
this.applicationsScrollBox.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
let vscroll = this.applicationsScrollBox.get_vscroll_bar();
@@ -573,7 +573,7 @@ class ApplicationsButton extends PanelMenu.Button {
x_fill: true,
y_fill: false,
y_align: St.Align.START,
- style_class: 'vfade'
+ style_class: 'vfade',
});
this.categoriesScrollBox.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
vscroll = this.categoriesScrollBox.get_vscroll_bar();
@@ -583,7 +583,7 @@ class ApplicationsButton extends PanelMenu.Button {
expand: true,
x_fill: true,
y_fill: true,
- y_align: St.Align.START
+ y_align: St.Align.START,
});
this.applicationsBox = new St.BoxLayout({ vertical: true });
@@ -595,12 +595,12 @@ class ApplicationsButton extends PanelMenu.Button {
this.mainBox.add(this._createVertSeparator(), {
expand: false,
x_fill: false,
- y_fill: true
+ y_fill: true,
});
this.mainBox.add(this.applicationsScrollBox, {
expand: true,
x_fill: true,
- y_fill: true
+ y_fill: true,
});
section.actor.add_actor(this.mainBox);
}
diff --git a/extensions/auto-move-windows/extension.js b/extensions/auto-move-windows/extension.js
index 4536e85..9ffdfea 100644
--- a/extensions/auto-move-windows/extension.js
+++ b/extensions/auto-move-windows/extension.js
@@ -51,7 +51,7 @@ class WindowMover {
windowsChangedId: app.connect('windows-changed',
this._appWindowsChanged.bind(this)),
moveWindowsId: 0,
- windows: app.get_windows()
+ windows: app.get_windows(),
};
this._appData.set(app, data);
});
diff --git a/extensions/auto-move-windows/prefs.js b/extensions/auto-move-windows/prefs.js
index f89a669..e83798a 100644
--- a/extensions/auto-move-windows/prefs.js
+++ b/extensions/auto-move-windows/prefs.js
@@ -19,7 +19,7 @@ const Columns = {
DISPLAY_NAME: 1,
ICON: 2,
WORKSPACE: 3,
- ADJUSTMENT: 4
+ ADJUSTMENT: 4,
};
const Widget = GObject.registerClass({
@@ -39,7 +39,7 @@ const Widget = GObject.registerClass({
GObject.TYPE_STRING,
Gio.Icon,
GObject.TYPE_INT,
- Gtk.Adjustment
+ Gtk.Adjustment,
]);
let scrolled = new Gtk.ScrolledWindow({ shadow_type: Gtk.ShadowType.IN });
@@ -50,14 +50,14 @@ const Widget = GObject.registerClass({
this._treeView = new Gtk.TreeView({
model: this._store,
hexpand: true,
- vexpand: true
+ vexpand: true,
});
this._treeView.get_selection().set_mode(Gtk.SelectionMode.SINGLE);
let appColumn = new Gtk.TreeViewColumn({
expand: true,
sort_column_id: Columns.DISPLAY_NAME,
- title: _('Application')
+ title: _('Application'),
});
let iconRenderer = new Gtk.CellRendererPixbuf();
appColumn.pack_start(iconRenderer, false);
@@ -69,7 +69,7 @@ const Widget = GObject.registerClass({
let workspaceColumn = new Gtk.TreeViewColumn({
title: _('Workspace'),
- sort_column_id: Columns.WORKSPACE
+ sort_column_id: Columns.WORKSPACE,
});
let workspaceRenderer = new Gtk.CellRendererSpin({ editable: true });
workspaceRenderer.connect('edited', this._workspaceEdited.bind(this));
@@ -87,7 +87,7 @@ const Widget = GObject.registerClass({
let newButton = new Gtk.ToolButton({
icon_name: 'bookmark-new-symbolic',
label: _('Add Rule'),
- is_important: true
+ is_important: true,
});
newButton.connect('clicked', this._createNew.bind(this));
toolbar.add(newButton);
@@ -111,7 +111,7 @@ const Widget = GObject.registerClass({
title: _('Create new matching rule'),
transient_for: this.get_toplevel(),
use_header_bar: true,
- modal: true
+ modal: true,
});
dialog.add_button(Gtk.STOCK_CANCEL, Gtk.ResponseType.CANCEL);
let addButton = dialog.add_button(_('Add'), Gtk.ResponseType.OK);
@@ -120,7 +120,7 @@ const Widget = GObject.registerClass({
let grid = new Gtk.Grid({
column_spacing: 10,
row_spacing: 15,
- margin: 10
+ margin: 10,
});
dialog._appChooser = new Gtk.AppChooserWidget({ show_all: true });
dialog._appChooser.connect('application-selected', (w, appInfo) => {
@@ -132,16 +132,16 @@ const Widget = GObject.registerClass({
grid.attach(dialog._appChooser, 0, 0, 2, 1);
grid.attach(new Gtk.Label({
label: _('Workspace'),
- halign: Gtk.Align.END
+ halign: Gtk.Align.END,
}), 0, 1, 1, 1);
let adjustment = new Gtk.Adjustment({
lower: 1,
upper: WORKSPACE_MAX,
- step_increment: 1
+ step_increment: 1,
});
dialog._spin = new Gtk.SpinButton({
adjustment,
- snap_to_ticks: true
+ snap_to_ticks: true,
});
dialog._spin.set_value(1);
grid.attach(dialog._spin, 1, 1, 1, 1);
@@ -229,7 +229,7 @@ const Widget = GObject.registerClass({
lower: 1,
upper: WORKSPACE_MAX,
step_increment: 1,
- value: workspace
+ value: workspace,
});
let { APPINFO, ICON, DISPLAY_NAME, WORKSPACE, ADJUSTMENT } = Columns;
this._store.set(iter,
diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js
index 39c720a..0463fb5 100644
--- a/extensions/drive-menu/extension.js
+++ b/extensions/drive-menu/extension.js
@@ -26,7 +26,7 @@ class MountMenuItem extends PopupMenu.PopupBaseMenuItem {
let ejectIcon = new St.Icon({
icon_name: 'media-eject-symbolic',
- style_class: 'popup-menu-icon'
+ style_class: 'popup-menu-icon',
});
let ejectButton = new St.Button({ child: ejectIcon });
ejectButton.connect('clicked', this._eject.bind(this));
@@ -70,7 +70,7 @@ class MountMenuItem extends PopupMenu.PopupBaseMenuItem {
let unmountArgs = [
Gio.MountUnmountFlags.NONE,
(new ShellMountOperation.ShellMountOperation(this.mount)).mountOp,
- null // Gio.Cancellable
+ null, // Gio.Cancellable
];
if (this.mount.can_eject()) {
@@ -121,7 +121,7 @@ class DriveMenu extends PanelMenu.Button {
let hbox = new St.BoxLayout({ style_class: 'panel-status-menu-box' });
let icon = new St.Icon({
icon_name: 'media-eject-symbolic',
- style_class: 'system-status-icon'
+ style_class: 'system-status-icon',
});
hbox.add_child(icon);
diff --git a/extensions/places-menu/extension.js b/extensions/places-menu/extension.js
index 5b47cc6..be884f3 100644
--- a/extensions/places-menu/extension.js
+++ b/extensions/places-menu/extension.js
@@ -25,7 +25,7 @@ class PlaceMenuItem extends PopupMenu.PopupBaseMenuItem {
this._icon = new St.Icon({
gicon: info.icon,
- icon_size: PLACE_ICON_SIZE
+ icon_size: PLACE_ICON_SIZE,
});
this.add_child(this._icon);
@@ -35,7 +35,7 @@ class PlaceMenuItem extends PopupMenu.PopupBaseMenuItem {
if (info.isRemovable()) {
this._ejectIcon = new St.Icon({
icon_name: 'media-eject-symbolic',
- style_class: 'popup-menu-icon'
+ style_class: 'popup-menu-icon',
});
this._ejectButton = new St.Button({ child: this._ejectIcon });
this._ejectButton.connect('clicked', info.eject.bind(info));
@@ -71,7 +71,7 @@ const SECTIONS = [
'special',
'devices',
'bookmarks',
- 'network'
+ 'network',
];
let PlacesMenu = GObject.registerClass(
@@ -83,7 +83,7 @@ class PlacesMenu extends PanelMenu.Button {
let label = new St.Label({
text: _('Places'),
y_expand: true,
- y_align: Clutter.ActorAlign.CENTER
+ y_align: Clutter.ActorAlign.CENTER,
});
hbox.add_child(label);
hbox.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 69c8b9c..7b8b719 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -48,7 +48,7 @@ class PlaceInfo {
}
let source = {
- get_icon: () => this.icon
+ get_icon: () => this.icon,
};
let op = new ShellMountOperation.ShellMountOperation(source);
try {
@@ -201,7 +201,7 @@ class PlaceDeviceInfo extends PlaceInfo {
let unmountArgs = [
Gio.MountUnmountFlags.NONE,
(new ShellMountOperation.ShellMountOperation(this._mount)).mountOp,
- null // Gio.Cancellable
+ null, // Gio.Cancellable
];
if (this._mount.can_eject()) {
@@ -322,7 +322,7 @@ var PlacesManager = class {
'mount-changed',
'drive-connected',
'drive-disconnected',
- 'drive-changed'
+ 'drive-changed',
];
this._volumeMonitorSignals = [];
diff --git a/extensions/screenshot-window-sizer/extension.js b/extensions/screenshot-window-sizer/extension.js
index 54e1d2c..043ecb5 100644
--- a/extensions/screenshot-window-sizer/extension.js
+++ b/extensions/screenshot-window-sizer/extension.js
@@ -64,7 +64,7 @@ let SIZES = [
[1200, 675],
[1600, 900],
[360, 654], // Phone portrait maximized
- [720, 360] // Phone landscape fullscreen
+ [720, 360], // Phone landscape fullscreen
];
function cycleScreenshotSizes(display, window, binding) {
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 0c31684..04da83b 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -37,9 +37,9 @@ class ThemeManager {
let stylesheetPaths = [
[GLib.get_home_dir(), '.themes'],
[GLib.get_user_data_dir(), 'themes'],
- ...GLib.get_system_data_dirs().map(dir => [dir, 'themes'])
+ ...GLib.get_system_data_dirs().map(dir => [dir, 'themes']),
].map(themeDir => GLib.build_filenamev([
- ...themeDir, themeName, 'gnome-shell', 'gnome-shell.css'
+ ...themeDir, themeName, 'gnome-shell', 'gnome-shell.css',
]));
stylesheet = stylesheetPaths.find(path => {
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 8382a40..eb787fc 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -20,7 +20,7 @@ const DND_ACTIVATE_TIMEOUT = 500;
const GroupingMode = {
NEVER: 0,
AUTO: 1,
- ALWAYS: 2
+ ALWAYS: 2,
};
@@ -133,7 +133,7 @@ class WindowContextMenu extends PopupMenu.PopupMenu {
}
const WindowTitle = GObject.registerClass({
- GTypeName: 'WindowListWindowTitle'
+ GTypeName: 'WindowListWindowTitle',
}, class WindowTitle extends St.BoxLayout {
_init(metaWindow) {
this._metaWindow = metaWindow;
@@ -141,7 +141,7 @@ const WindowTitle = GObject.registerClass({
super._init({
style_class: 'window-button-box',
x_expand: true,
- y_expand: true
+ y_expand: true,
});
this._icon = new St.Bin({ style_class: 'window-button-icon' });
@@ -189,7 +189,7 @@ const WindowTitle = GObject.registerClass({
} else {
this._icon.child = new St.Icon({
icon_name: 'icon-missing',
- icon_size: ICON_TEXTURE_SIZE
+ icon_size: ICON_TEXTURE_SIZE,
});
}
}
@@ -211,8 +211,8 @@ const BaseButton = GObject.registerClass({
'ignore-workspace': GObject.ParamSpec.boolean(
'ignore-workspace', 'ignore-workspace', 'ignore-workspace',
GObject.ParamFlags.READWRITE,
- false)
- }
+ false),
+ },
}, class BaseButton extends St.Button {
_init(perMonitor, monitorIndex) {
this._perMonitor = perMonitor;
@@ -224,7 +224,7 @@ const BaseButton = GObject.registerClass({
x_fill: true,
y_fill: true,
can_focus: true,
- button_mask: St.ButtonMask.ONE | St.ButtonMask.THREE
+ button_mask: St.ButtonMask.ONE | St.ButtonMask.THREE,
});
this.connect('allocation-changed',
@@ -349,7 +349,7 @@ const BaseButton = GObject.registerClass({
const WindowButton = GObject.registerClass({
- GTypeName: 'WindowListWindowButton'
+ GTypeName: 'WindowListWindowButton',
}, class WindowButton extends BaseButton {
_init(metaWindow, perMonitor, monitorIndex) {
super._init(perMonitor, monitorIndex);
@@ -495,25 +495,25 @@ const AppButton = GObject.registerClass({
this._singleWindowTitle = new St.Bin({
x_expand: true,
y_fill: true,
- x_align: St.Align.START
+ x_align: St.Align.START,
});
stack.add_actor(this._singleWindowTitle);
this._multiWindowTitle = new St.BoxLayout({
style_class: 'window-button-box',
- x_expand: true
+ x_expand: true,
});
stack.add_actor(this._multiWindowTitle);
this._icon = new St.Bin({
style_class: 'window-button-icon',
- child: app.create_icon_texture(ICON_TEXTURE_SIZE)
+ child: app.create_icon_texture(ICON_TEXTURE_SIZE),
});
this._multiWindowTitle.add(this._icon);
let label = new St.Label({
text: app.get_name(),
- y_align: Clutter.ActorAlign.CENTER
+ y_align: Clutter.ActorAlign.CENTER,
});
this._multiWindowTitle.add(label);
this._multiWindowTitle.label_actor = label;
@@ -684,7 +684,7 @@ const WindowList = GObject.registerClass({
style_class: 'bottom-panel solid',
reactive: true,
track_hover: true,
- layout_manager: new Clutter.BinLayout()
+ layout_manager: new Clutter.BinLayout(),
});
this.connect('destroy', this._onDestroy.bind(this));
@@ -704,7 +704,7 @@ const WindowList = GObject.registerClass({
layout_manager: layout,
x_align: Clutter.ActorAlign.START,
x_expand: true,
- y_expand: true
+ y_expand: true,
});
box.add(this._windowList, { expand: true });
@@ -735,7 +735,7 @@ const WindowList = GObject.registerClass({
Main.layoutManager.addChrome(this, {
affectsStruts: true,
- trackFullscreen: true
+ trackFullscreen: true,
});
Main.uiGroup.set_child_above_sibling(this, Main.layoutManager.panelBox);
Main.ctrlAltTabManager.addGroup(this, _('Window List'), 'start-here-symbolic');
@@ -794,7 +794,7 @@ const WindowList = GObject.registerClass({
this._dragEndId = Main.xdndHandler.connect('drag-end',
this._onDragEnd.bind(this));
this._dragMonitor = {
- dragMotion: this._onDragMotion.bind(this)
+ dragMotion: this._onDragMotion.bind(this),
};
this._dndTimeoutId = 0;
diff --git a/extensions/window-list/prefs.js b/extensions/window-list/prefs.js
index fdd4cd3..8a4102f 100644
--- a/extensions/window-list/prefs.js
+++ b/extensions/window-list/prefs.js
@@ -25,7 +25,7 @@ class WindowListPrefsWidget extends Gtk.Grid {
let groupingLabel = '<b>%s</b>'.format(_('Window Grouping'));
this.add(new Gtk.Label({
label: groupingLabel, use_markup: true,
- halign: Gtk.Align.START
+ halign: Gtk.Align.START,
}));
let align = new Gtk.Alignment({ left_padding: 12 });
@@ -34,7 +34,7 @@ class WindowListPrefsWidget extends Gtk.Grid {
let grid = new Gtk.Grid({
orientation: Gtk.Orientation.VERTICAL,
row_spacing: 6,
- column_spacing: 6
+ column_spacing: 6,
});
align.add(grid);
@@ -46,7 +46,7 @@ class WindowListPrefsWidget extends Gtk.Grid {
let modeLabels = {
'never': _('Never group windows'),
'auto': _('Group windows when space is limited'),
- 'always': _('Always group windows')
+ 'always': _('Always group windows'),
};
let radio = null;
@@ -61,7 +61,7 @@ class WindowListPrefsWidget extends Gtk.Grid {
radio = new Gtk.RadioButton({
active: currentMode == mode,
label,
- group: radio
+ group: radio,
});
grid.add(radio);
@@ -73,14 +73,14 @@ class WindowListPrefsWidget extends Gtk.Grid {
let check = new Gtk.CheckButton({
label: _('Show on all monitors'),
- margin_top: 6
+ margin_top: 6,
});
this._settings.bind('show-on-all-monitors', check, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(check);
check = new Gtk.CheckButton({
label: _('Show windows from all workspaces'),
- margin_top: 6
+ margin_top: 6,
});
this._settings.bind('display-all-workspaces', check, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(check);
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index 12bab76..cc071e7 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -13,7 +13,7 @@ let MyWorkspacesDisplay = class extends WorkspacesDisplay {
this.actor.add_constraint(
new Layout.MonitorConstraint({
primary: true,
- work_area: true
+ work_area: true,
}));
this.actor.connect('destroy', this._onDestroy.bind(this));
@@ -65,8 +65,8 @@ let MyWorkspacesDisplay = class extends WorkspacesDisplay {
var WindowPicker = GObject.registerClass({
GTypeName: 'WindowListWindowPicker',
Signals: {
- 'open-state-changed': { param_types: [GObject.TYPE_BOOLEAN] }
- }
+ 'open-state-changed': { param_types: [GObject.TYPE_BOOLEAN] },
+ },
}, class extends Clutter.Actor {
_init() {
this._visible = false;
@@ -200,7 +200,7 @@ var WindowPicker = GObject.registerClass({
return true;
this._modal = Main.pushModal(this, {
- actionMode: Shell.ActionMode.OVERVIEW
+ actionMode: Shell.ActionMode.OVERVIEW,
});
if (!this._modal) {
@@ -245,7 +245,7 @@ var WindowPickerToggle = GObject.registerClass(
class WindowPickerToggle extends St.Button {
_init() {
let iconBin = new St.Widget({
- layout_manager: new Clutter.BinLayout()
+ layout_manager: new Clutter.BinLayout(),
});
iconBin.add_child(new St.Icon({
icon_name: 'focus-windows-symbolic',
@@ -253,7 +253,7 @@ class WindowPickerToggle extends St.Button {
x_expand: true,
y_expand: true,
x_align: Clutter.ActorAlign.CENTER,
- y_align: Clutter.ActorAlign.CENTER
+ y_align: Clutter.ActorAlign.CENTER,
}));
super._init({
style_class: 'window-picker-toggle',
@@ -261,7 +261,7 @@ class WindowPickerToggle extends St.Button {
visible: !Main.sessionMode.hasOverview,
x_fill: true,
y_fill: true,
- toggle_mode: true
+ toggle_mode: true,
});
this.connect('notify::checked', () => {
diff --git a/extensions/window-list/workspaceIndicator.js b/extensions/window-list/workspaceIndicator.js
index eb1f569..eb694b1 100644
--- a/extensions/window-list/workspaceIndicator.js
+++ b/extensions/window-list/workspaceIndicator.js
@@ -10,11 +10,11 @@ const Gettext = imports.gettext.domain('gnome-shell-extensions');
const _ = Gettext.gettext;
let WindowPreview = GObject.registerClass({
- GTypeName: 'WindowListWindowPreview'
+ GTypeName: 'WindowListWindowPreview',
}, class WindowPreview extends St.Button {
_init(window) {
super._init({
- style_class: 'window-list-window-preview'
+ style_class: 'window-list-window-preview',
});
this._delegate = this;
@@ -98,17 +98,17 @@ let WindowPreview = GObject.registerClass({
});
let WorkspaceThumbnail = GObject.registerClass({
- GTypeName: 'WindowListWorkspaceThumbnail'
+ GTypeName: 'WindowListWorkspaceThumbnail',
}, class WorkspaceThumbnail extends St.Button {
_init(index) {
super._init({
style_class: 'workspace',
child: new Clutter.Actor({
layout_manager: new Clutter.BinLayout(),
- clip_to_allocation: true
+ clip_to_allocation: true,
}),
x_fill: true,
- y_fill: true
+ y_fill: true,
});
this.connect('destroy', this._onDestroy.bind(this));
@@ -205,7 +205,7 @@ let WorkspaceThumbnail = GObject.registerClass({
});
var WorkspaceIndicator = GObject.registerClass({
- GTypeName: 'WindowListWorkspaceIndicator'
+ GTypeName: 'WindowListWorkspaceIndicator',
}, class WorkspaceIndicator extends PanelMenu.Button {
_init() {
super._init(0.0, _('Workspace Indicator'), true);
@@ -216,7 +216,7 @@ var WorkspaceIndicator = GObject.registerClass({
let container = new St.Widget({
layout_manager: new Clutter.BinLayout(),
x_expand: true,
- y_expand: true
+ y_expand: true,
});
this.add_actor(container);
@@ -229,14 +229,14 @@ var WorkspaceIndicator = GObject.registerClass({
style_class: 'status-label-bin',
x_expand: true,
y_expand: true,
- child: this._statusLabel
+ child: this._statusLabel,
});
container.add_actor(this._statusBin);
this._thumbnailsBox = new St.BoxLayout({
style_class: 'workspaces-box',
y_expand: true,
- reactive: true
+ reactive: true,
});
this._thumbnailsBox.connect('scroll-event',
this._onScrollEvent.bind(this));
@@ -250,7 +250,7 @@ var WorkspaceIndicator = GObject.registerClass({
workspaceManager.connect_after('workspace-switched',
this._onWorkspaceSwitched.bind(this)),
workspaceManager.connect('notify::layout-rows',
- this._onWorkspaceOrientationChanged.bind(this))
+ this._onWorkspaceOrientationChanged.bind(this)),
];
this.connect('scroll-event', this._onScrollEvent.bind(this));
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 9481198..6cad3be 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -13,7 +13,7 @@ var MyWindowOverlay = class extends Workspace.WindowOverlay {
this._id = null;
this._text = new St.Label({
style_class: 'extension-windowsNavigator-window-tooltip',
- visible: false
+ visible: false,
});
parentActor.add_actor(this._text);
}
@@ -48,7 +48,7 @@ var MyWorkspace = class extends Workspace.Workspace {
if (metaWorkspace && metaWorkspace.index() < 9) {
this._tip = new St.Label({
style_class: 'extension-windowsNavigator-window-tooltip',
- visible: false
+ visible: false,
});
this.actor.add_actor(this._tip);
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index ef558c3..085d466 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -16,11 +16,11 @@ const WORKSPACE_SCHEMA = 'org.gnome.desktop.wm.preferences';
const WORKSPACE_KEY = 'workspace-names';
let WindowPreview = GObject.registerClass({
- GTypeName: 'WorkspaceIndicatorWindowPreview'
+ GTypeName: 'WorkspaceIndicatorWindowPreview',
}, class WindowPreview extends St.Button {
_init(window) {
super._init({
- style_class: 'workspace-indicator-window-preview'
+ style_class: 'workspace-indicator-window-preview',
});
this._delegate = this;
@@ -104,17 +104,17 @@ let WindowPreview = GObject.registerClass({
});
let WorkspaceThumbnail = GObject.registerClass({
- GTypeName: 'WorkspaceIndicatorWorkspaceThumbnail'
+ GTypeName: 'WorkspaceIndicatorWorkspaceThumbnail',
}, class WorkspaceThumbnail extends St.Button {
_init(index) {
super._init({
style_class: 'workspace',
child: new Clutter.Actor({
layout_manager: new Clutter.BinLayout(),
- clip_to_allocation: true
+ clip_to_allocation: true,
}),
x_fill: true,
- y_fill: true
+ y_fill: true,
});
this.connect('destroy', this._onDestroy.bind(this));
@@ -218,7 +218,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
let container = new St.Widget({
layout_manager: new Clutter.BinLayout(),
x_expand: true,
- y_expand: true
+ y_expand: true,
});
this.add_actor(container);
@@ -228,7 +228,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
this._statusLabel = new St.Label({
style_class: 'panel-workspace-indicator',
y_align: Clutter.ActorAlign.CENTER,
- text: this._labelText()
+ text: this._labelText(),
});
container.add_actor(this._statusLabel);
@@ -236,7 +236,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
this._thumbnailsBox = new St.BoxLayout({
style_class: 'panel-workspace-indicator-box',
y_expand: true,
- reactive: true
+ reactive: true,
});
container.add_actor(this._thumbnailsBox);
@@ -251,7 +251,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
workspaceManager.connect_after('workspace-switched',
this._onWorkspaceSwitched.bind(this)),
workspaceManager.connect('notify::layout-rows',
- this._onWorkspaceOrientationChanged.bind(this))
+ this._onWorkspaceOrientationChanged.bind(this)),
];
this.connect('scroll-event', this._onScrollEvent.bind(this));
diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js
index b97b88a..80b9b5b 100644
--- a/extensions/workspace-indicator/prefs.js
+++ b/extensions/workspace-indicator/prefs.js
@@ -130,7 +130,7 @@ class WorkspaceSettingsWidget extends Gtk.Grid {
use_markup: true,
margin_bottom: 6,
hexpand: true,
- halign: Gtk.Align.START
+ halign: Gtk.Align.START,
}));
let scrolled = new Gtk.ScrolledWindow({ shadow_type: Gtk.ShadowType.IN });
@@ -143,7 +143,7 @@ class WorkspaceSettingsWidget extends Gtk.Grid {
headers_visible: false,
reorderable: true,
hexpand: true,
- vexpand: true
+ vexpand: true,
});
let column = new Gtk.TreeViewColumn({ title: _('Name') });
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
