[Bug 1340687] Re: Please replace current alternate screen scroll patch with the new one, making this scroll permanent

2015-06-27 Thread Monsta
** Tags removed: wily -- 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/1340687 Title: Please replace current alternate screen scroll patch with the new one, making this scroll

[Bug 1468943] Re: Update to 3.16

2015-06-27 Thread Tim
input settings have moved from g-s-d schemas into gsettings-desktop- schemas, since these are now handled by mutter in GNOME 3.16. Given the transition code, see [1] this is going to make it hard to just revert the key changes like we have in the past. [1]

[Bug 1427877] Re: Media, brightness and volume keys don't work with GNOME 3.15.90

2015-06-27 Thread Bug Watch Updater
** Changed in: gnome-settings-daemon Status: Incomplete = Unknown -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-settings-daemon in Ubuntu. https://bugs.launchpad.net/bugs/1427877 Title: Media, brightness and volume

[Bug 1469392] [NEW] Using the shortcut 'Strg+Alt+T' takes at least ten seconds to open the terminal

2015-06-27 Thread John
Public bug reported: It takes unusually long for the terminal to open on version 15.04 if I use the shortcut. It just upgraded. The terminal version is 3.14.2 ProblemType: Bug DistroRelease: Ubuntu 15.04 Package: gnome-terminal 3.14.2-0ubuntu3 ProcVersionSignature: Ubuntu 3.19.0-21.21-generic

[Bug 1469392] Re: Using the shortcut 'Strg+Alt+T' takes at least ten seconds to open the terminal

2015-06-27 Thread Egmont Koblinger
I had similar problems on Utopic (14.10), but not anymore on Vivid (15.04). The same problem occurred to me with all other system-wide shortcuts as well, e.g. volume up/down, keyboard layout switch etc. I heard other people confirming it. Is it maybe the same for you? -- You received this bug

[Bug 1427877] Re: Media, brightness and volume keys don't work with GNOME 3.15.90

2015-06-27 Thread Tim
I had a poke around in gdb, for some reason type info doesn't seem to be shared between plugins, so the second plugin to load will try and reregister the types. This was caused by linking with -Wl, -BSymbolic-functions, I think its ok to just strip this linker flag, afaik no other distro's even

[Bug 1468943] Re: Update to 3.16

2015-06-27 Thread Tim
** Also affects: ubuntu-gnome Importance: Undecided Status: New ** Changed in: ubuntu-gnome Milestone: None = wily -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-settings-daemon in Ubuntu.

[Bug 1427877] Re: Media, brightness and volume keys don't work with GNOME 3.15.90

2015-06-27 Thread Tim
Should be fixed with gnome-settings-daemon_3.16.2-0ubuntu1~vivid2, just uploaded to gnome3-staging -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-settings-daemon in Ubuntu. https://bugs.launchpad.net/bugs/1427877 Title: