This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Brecht Van Lommel 34ebf6f82c Workspaces: move delete to right click menu, instead of X on tab. ...

These are not intended to be closed as often as e.g. browser tabs, they are
intended to be more persistent and accidental closing should be avoided.

2018-08-23 20:02:08 +02:00

138 KiB

Raw Blame History

View Raw