[Desktop-packages] [Bug 1892440] Re: Shell text is too small in mutter 3.36.4-0ubuntu0.20.04.2

On my laptop, the fonts get larger each time. Temporary workaround which helps me is changing the font scale in Tweaks tool (Fractional Scaling doesn't help). Ubuntu 20.04.1 LTS Intel® Core™ i7-3630QM CPU @ 2.40GHz × 8 Quadro K1000M/PCIe/SSE2 -- You received this bug notification because you ar

[Desktop-packages] [Bug 1733890] Re: Copy to clipboard not working

Forgot to mention: I'm using X11. Also, I've found that that option works fine if Include pointer option is checked. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-screenshot in Ubuntu. https://bugs.launchpad.net/bugs/1733890 Tit

[Desktop-packages] [Bug 1733890] Re: Copy to clipboard not working

On Ubuntu 20.04 I had the same issue if I'm copying to clipboard an area only (Select area to Grab option). -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-screenshot in Ubuntu. https://bugs.launchpad.net/bugs/1733890 Title: Copy

[Desktop-packages] [Bug 36812] Re: Keyboard layout change on hotkeys press instead of release and do not work well with shortcuts

Daniel (or anyone else), can you explain why the current state of things with keyboard shortcuts is considered better? Here is how I see it works in Windows and Ubuntu. How it works in Windows: (I press Ctrl) + (I release Ctrl) = the mouse pointer is shown. (I press Ctrl

[Desktop-packages] [Bug 1956235] Re: Pointer Location (which uses Ctrl key) conflicts with other Ctrl-based shortcuts

*** This bug is a duplicate of bug 1872230 *** https://bugs.launchpad.net/bugs/1872230 Daniel, did you check whether Ctrl+C, Ctrl-V, etc. work when Pointer Location option is enabled? I cannot understand it from your post. -- You received this bug notification because you are a member of Des

[Desktop-packages] [Bug 1956235] Re: Pointer Location (which uses Ctrl key) conflicts with other Ctrl-based shortcuts

*** This bug is a duplicate of bug 1872230 *** https://bugs.launchpad.net/bugs/1872230 I've just found an alternative to Pointer Location -- Jiggle extension. I'll give it a try. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-

[Desktop-packages] [Bug 379367] Re: Gedit adding a newline at the end of file should be configurable

Gedit doesn't check whether a file already ends with the newline character. It just silently adds an extra newline character and even doesn't the last empty line (like other text editors and IDE's do). -- You received this bug notification because you are a member of Desktop Packages, which is su