[Bug 1718238] Re: Giant terminal icon is blocking out the Terminal window buttons

2018-05-02 Thread Simone Bordet
I am on 18.04, and I see the smaller 48x48 icon as reported in 1765704 and by xprop. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to mutter in Ubuntu. https://bugs.launchpad.net/bugs/1718238 Title: Giant terminal icon is blocking

[Bug 1724250] [NEW] gnome-terminal graphic artifact

2017-10-17 Thread Simone Bordet
Public bug reported: Opening gnome-terminal in Ubuntu 17.10 shows the terminal window with a graphic artifact on the right of the title bar, where the window buttons to minimize, maximize and close are. The window buttons are working so this is just a visual glitch and does not otherwise affect

[Bug 1720438] Re: brightness control broken nvidia

2017-10-07 Thread Simone Bordet
I tried also: sudo su -c 'echo 10 > /sys/class/backlight/acpi_video0/brightness'. Pressing the Fn keys brings up the OSD brightness control, which reflects the value of the /sys/class/backlight/acpi_video0/brightness file (and viceversa), but the actual screen brightness does not change. -- You

[Bug 1720438] Re: brightness control broken nvidia

2017-10-07 Thread Simone Bordet
@brinstar, yes I did the sudo update-grub part, and tried acpi_brightness=[native|vendor] which for me makes the Fn hot keys not working (when you press them, no brightness icon appears). Last update brought in NVidia drivers 384.90, but no joy, the problem is still present. -- You received

[Bug 1720438] Re: brightness control broken nvidia

2017-10-01 Thread Simone Bordet
Same problem here. Ubuntu 17.10 beta 2 NVIDIA Corporation GM204M [GeForce GTX 970M] Driver NVIDIA binary 375.82 Changing the brightness via Fn keys or via Settings/Power does not work. Adding acpi_osi=Linux does nothing for me, the problem remains. -- You received this bug notification because

[Bug 906084] [NEW] Add feature: send input to multiple tabs/windows

2011-12-18 Thread Simone Bordet
Public bug reported: Ubuntu 11.10, gnome-terminal 3.0.1-0ubuntu3. I am often using multiple tabs to connect via SSH to different, but identically configured, servers. KDE's Konsole and many other terminal emulators offer the capability to copy the input from one tab to other tabs and/or other