Alex 43d724ebad Merge pull request #326 from RX14/rename-bar-scroll ... Rename the "disable-workspace-scroll" option to "disable-bar-scroll"		2019-05-17 20:24:15 +02:00
..
ipc	refactor: try/catch around json parse	2019-05-09 10:30:54 +02:00
mode.cpp	refactor: try/catch around json parse	2019-05-09 10:30:54 +02:00
window.cpp	fix(Window): avoid concurrency	2019-05-13 14:35:45 +02:00
workspaces.cpp	Merge pull request #326 from RX14/rename-bar-scroll	2019-05-17 20:24:15 +02:00