Merge lp:~roryj/gala/maskcorners-plugin into lp:gala
Proposed by
Rory
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Rico Tzschichholz | ||||
Approved revision: | 430 | ||||
Merged at revision: | 430 | ||||
Proposed branch: | lp:~roryj/gala/maskcorners-plugin | ||||
Merge into: | lp:gala | ||||
Diff against target: |
322 lines (+278/-0) 6 files modified
configure.ac (+1/-0) data/org.pantheon.desktop.gala.gschema.xml.in.in (+21/-0) plugins/Makefile.am (+1/-0) plugins/maskcorners/Main.vala (+171/-0) plugins/maskcorners/Makefile.am (+59/-0) plugins/maskcorners/Settings.vala (+25/-0) |
||||
To merge this branch: | bzr merge lp:~roryj/gala/maskcorners-plugin | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Rico Tzschichholz | Approve | ||
Danielle Foré | Approve | ||
Review via email: mp+246855@code.launchpad.net |
Commit message
Implement Mask Corners plugin.
Description of the change
Implement Mask Corners plugin.
By default, corners are masked on all monitors and are disabled when an app goes fullscreen.
To post a comment you must log in.
So this is pretty pimp. Very subtle. Some things I noticed:
* The little nudge feedback when attempting to move past the last workspace is not masked.
* When you zoom back in from multi-tasking view, you can see the workspace preview is not masked.
* Any radius over 4 is broken
Another question though: Does this plugin need to be shipped with Gala? There's currently no mechanism for enabling and disabling plugins in Gala. Maybe it would be better to ship as a separate package and let the package manager be the plugin manager through the "enhances" attribute.