I would like two options really:

1. Set pixel width of the border, ideally in the GNOME Appearance tool
where you select a theme - have an option to Customize Theme (this is
what Windows does). Should be a variable value, either by typing a
number or using up/down buttons to change a displayed mockup of the
border.

2. Have this feature also present in the Accessibility setup tool,
perhaps with a fixed value.  However, people's disabilities vary a lot
so I don't think a fixed value is the best option, better to let it be
changed as (1)

If you don't want a GUI option for (1), at least provide a documented
gconf option for this if possible.

GNOME really is astonishingly good these days, and I've chosen it over
KDE for this elderly relative based on usability, but this would improve
it further.

-- 
Window Resize Difficult (Window Border Thickness)
https://bugs.launchpad.net/bugs/160311
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to