! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
Workspace "margins" not honored when moving windows
Status:
RESOLVED: MOVED

Comments

Description Éric 2012-11-23 17:28:56 CET
This is moderately annoying - in "workspace settings", i have a "margin" of 1 pixel on each side of the screen to easily access the background (windowlist/app menu, panels etc) ...this margin is respected by the window manager only when maximizing a window. If i simply move a window until it "snaps" or "edge-resists" against the screen border, this setting is simply ignored and i don't have my 1 pixel of margin. Perhaps having panels respect this margin might be useful as well...?

Proposed solution: maybe in the settings box, there could be a checkbox for maximized windows, one for other windows, and maybe one for panels?
Comment 1 Git Bot editbugs 2020-05-29 11:53:03 CEST
-- GitLab Migration Automatic Message --

This bug has been migrated to xfce.org's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.xfce.org/xfce/xfwm4/-/issues/99.

Please create an account or use an existing account on one of our supported OAuth providers. 

If you want to fork to submit patches and merge requests please continue reading here: https://docs.xfce.org/contribute/dev/git/start#gitlab_forks_and_merge_requests

Also feel free to reach out to us on the mailing list https://mail.xfce.org/mailman/listinfo/xfce4-dev

Bug #9536

Reported by:
Éric
Reported on: 2012-11-23
Last modified on: 2020-05-29

People

Assignee:
Olivier Fourdan
CC List:
0 users

Version

Version:
unspecified

Attachments

Additional information