[Bug 817875] Re: vte with scrollbar keeps growing in width

2011-07-31 Thread vroetman
I can reproduce the problem with a Natty Live CD, but cannot reproduce it when testing with a recent Oneiric daily build Live CD. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to vte in Ubuntu. https://bugs.launchpad.net/bugs/817875

[Bug 817875] [NEW] vte with scrollbar keeps growing in width

2011-07-29 Thread vroetman
Public bug reported: In Natty with thin scrollbars, a vte widget inside a Scrollwindow will keep incrementally growing wider and wider. This only happens with no horizontal scrollbar and with vertical scrollbar, and it only happens with the thin scrollbars on Natty. If the old-style scrollbars

[Bug 635400] Re: vte widget allows window to expand but not shrink

2011-07-28 Thread vroetman
I just tested it on Natty, and it is still a problem. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to vte in Ubuntu. https://bugs.launchpad.net/bugs/635400 Title: vte widget allows window to expand but not shrink To manage

[Bug 553746] Re: Cannot Change User and Group ID

2010-04-19 Thread vroetman
As of Lucid beta2, you still cannot change a UID (well, you can change it but it has no effect). If you can't actually change the UID, then it's better to not even allow that in the interface. -- Cannot Change User and Group ID https://bugs.launchpad.net/bugs/553746 You received this bug

[Bug 553746] Re: Cannot Change User and Group ID

2010-04-02 Thread vroetman
How about setting a UserID on create? We used to be able to. -- Cannot Change User and Group ID https://bugs.launchpad.net/bugs/553746 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to system-tools-backends in ubuntu. -- desktop-bugs

[Bug 553746] [NEW] Cannot Change User and Group ID

2010-04-01 Thread vroetman
Public bug reported: Binary package hint: gnome-system-tools Changing a User ID (or Group ID) in the User Settings dialog has no effect. Furthermore, adding a new user gives you no opportunity to set the User ID. ProblemType: Bug DistroRelease: Ubuntu 10.04 Package: gnome-system-tools

[Bug 553746] Re: Cannot Change User and Group ID

2010-04-01 Thread vroetman
** Attachment added: Dependencies.txt http://launchpadlibrarian.net/42847623/Dependencies.txt -- Cannot Change User and Group ID https://bugs.launchpad.net/bugs/553746 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to