Biggest problem is probably the question where would local menus go,
unless you would ditch the menu all together and just run with the csd
based ones.
Also, if the titlebar buttons would hide on maximize, then the whole
widget area would have to move to the left i assume, which would be
weird and
Public bug reported:
It seems there are some kind of glitches, no transparency and menu
flashing.
I've decided to sidegrade to sid packages, which fixed the issue, so i
assume one of the ubuntu patches causes issues.
** Affects: gtk+3.0 (Ubuntu)
Importance: Undecided
Status: New
*
Public bug reported:
Reference:
https://bugzilla.gnome.org/show_bug.cgi?id=721944
After applying the patch to ubuntu trusty's libvte-2.90-9, I am seeing a
huge improvement in speed.
Please consider merging that patch to mainline LTS branch.
** Affects: vte (Ubuntu)
Importance: Undecided
For all nvidia users, you could try to remove the GL cache:
rm ~/.nv (driver <346)
rm ~/.cache/.nv (driver 346)
Then disable the cache completely:
echo -e 'export __GL_SHADER_DISK_CACHE=0' >> ~/.profile
Restart / relogin afterwards. This fixed the issue for me.
--
You received this bug notifi
Public bug reported:
How to reproduce:
- Type in some commands, so that terminal area displays a scrollbar
- Open a new tab
- Go back to the first tab - scrollbar has dissapeared
Actually, the scrollbar seems to be still there, but there is no visual
cue that the window is scrollable. Sometimes s
Public bug reported:
Distro: Ubuntu 14.04 trusty current
Package: Gnome-terminal 3.6.2 using gnome-shell 3.10
Setting transparency in profile settings doesn't seem to work.
There is a weird rectangle in the upper left corner.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Gnome-terminal 3.8 and newer breaks mono-develop. See here:
https://bugzilla.xamarin.com/show_bug.cgi?id=12684#c6
** Bug watch added: bugzilla.xamarin.com/ #12684
http://bugzilla.xamarin.com/show_bug.cgi?id=12684
--
You received this bug notification because you are a member of Ubuntu
Deskto
