! 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 !
Add margins configuration in workspace settings
Status:
RESOLVED: FIXED
Severity:
enhancement

Comments

Description Mike Massonnet editbugs 2008-10-02 08:58:08 CEST
Created attachment 1859 
workspace margins

Hi,

Attached is a diff for the workspace settings to add margins workspace configuration.  It misses a display icon in the center.  Please check it.
Comment 1 Mike Massonnet editbugs 2008-10-02 09:35:26 CEST
Created attachment 1860 
workspace margins

There was an error introduced in the glade file, the titles  were set from translatable to non-translatable.
Comment 2 Mike Massonnet editbugs 2008-10-02 19:39:27 CEST
Created attachment 1862 
workspace margins

Adds the monitor icon
Comment 3 Mike Massonnet editbugs 2008-10-02 19:40:00 CEST
Created attachment 1863 
monitor icon
Comment 4 Olivier Fourdan editbugs 2008-10-02 21:28:40 CEST
Committed rev. 28019.

Cheers!
Olivier.

Bug #4438

Reported by:
Mike Massonnet
Reported on: 2008-10-02
Last modified on: 2009-07-14

People

Assignee:
Olivier Fourdan
CC List:
0 users

Version

Attachments

workspace margins (20.81 KB, patch)
2008-10-02 08:58 CEST , Mike Massonnet
no flags
workspace margins (20.27 KB, patch)
2008-10-02 09:35 CEST , Mike Massonnet
no flags
workspace margins (21.75 KB, patch)
2008-10-02 19:39 CEST , Mike Massonnet
no flags
monitor icon (2.22 KB, image/png)
2008-10-02 19:40 CEST , Mike Massonnet
no flags

Additional information