Florian Müllner ff9bb5399b windowManager: Use new reorder_workspace() API ...

With the new Mutter API, inserting a workspace at a particular position
becomes as easy as creating the workspace and moving it to the desired
index.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/620

2019-07-09 14:41:35 +02:00

..

extensionPrefs

cleanup: Prefer template strings

2019-07-05 11:32:31 +00:00

gdm

cleanup: Prefer template strings

2019-07-05 11:32:31 +00:00

misc

params: Fix regression

2019-07-05 18:28:26 +02:00

perf

cleanup: Prefer template strings

2019-07-05 11:32:31 +00:00

portalHelper

style: Stop using braces for single-line arrow functions

2019-07-02 12:17:46 +00:00

ui

windowManager: Use new reorder_workspace() API

2019-07-09 14:41:35 +02:00

js-resources.gresource.xml

accessibility: Add pointer accessibility support

2019-06-06 09:13:29 +02:00

meson.build

build: Use dedicated resources for helper programs

2018-08-14 17:28:04 +00:00

portal-resources.gresource.xml

build: Include params.js in portal-helper gresources

2018-10-23 15:38:31 +00:00

prefs-resources.gresource.xml

build: Use dedicated resources for helper programs

2018-08-14 17:28:04 +00:00