vertical-workspaces « extensions - debian/packages/gnome-shell-extensions-extra

Mode	Name	Size
-rw-r--r--	CHANGELOG.md	6803	log stats plain
-rw-r--r--	LICENSE	35149	log stats plain
-rw-r--r--	Makefile	3450	log stats plain
-rw-r--r--	README.md	5027	log stats plain
-rw-r--r--	appDisplay.js	36079	log stats plain
-rw-r--r--	dash.js	30142	log stats plain
-rw-r--r--	extension.js	19769	log stats plain
-rw-r--r--	iconGrid.js	653	log stats plain
-rw-r--r--	layout.js	1743	log stats plain
-rw-r--r--	metadata.json	605	log stats plain
-rw-r--r--	optionsFactory.js	16001	log stats plain
-rw-r--r--	overview.js	1621	log stats plain
-rw-r--r--	overviewControls.js	65729	log stats plain
-rw-r--r--	panel.js	6040	log stats plain
-rw-r--r--	prefs.js	38120	log stats plain
-rw-r--r--	recentFilesSearchProvider.js	10126	log stats plain
d---------	schemas	86	log stats plain
d---------	screenshots	351	log stats plain
-rw-r--r--	search.js	1231	log stats plain
-rw-r--r--	settings.js	14056	log stats plain
-rw-r--r--	stylesheet.css	3103	log stats plain
-rw-r--r--	swipeTracker.js	3191	log stats plain
-rw-r--r--	util.js	8833	log stats plain
-rw-r--r--	windowManager.js	7190	log stats plain
-rw-r--r--	windowPreview.js	12448	log stats plain
-rw-r--r--	windowSearchProvider.js	11524	log stats plain
-rw-r--r--	workspace.js	5485	log stats plain
-rw-r--r--	workspaceAnimation.js	7267	log stats plain
-rw-r--r--	workspaceSwitcherPopup.js	1452	log stats plain
-rw-r--r--	workspaceThumbnail.js	30699	log stats plain
-rw-r--r--	workspacesView.js	34005	log stats plain