Andrew
Andrew
Use middle mouse button and shift + middle mouse button like Dash to Dock. Left click to collapse / expand the group of applications. It would be nice if floatingDock...
**Describe the bug** Translation doesn't work. - **Extension version:** 15 - **Installed from:** GNOME Extensions Website - **GNOME/Shell version:** 3.36.4 - **Distro/Release:** Manjaro Linux In **translations.js**: ``` .... get ['PlayLists']()...
Doesn't always highlight syntax. Example, query "**regexp javascript**" syntax highlighting well:  query "**regexp php**" practically does not highlight syntax:  Another screenshot with **php** syntax: 
With `Accept-Encoding: gzip `header:  I need to remove the Accept-Encoding: gzip header to see a normal response:  It would be great if you could get the response in...
Created from `gedit-plugin-markdown-preview.pot` with Russian translation `gedit-plugin-markdown-preview.po` Compiled in `gedit-plugin-markdown-preview.mo` and put in `locale/ru/LC_MESSAGES` But translation doesn't work. 😟 ```po msgid "" msgstr "" "Project-Id-Version: \n" "Report-Msgid-Bugs-To: \n" "POT-Creation-Date: 2020-02-20...
You can add [mailnag](https://github.com/pulb/mailnag) support for email widget? In the widget code, you need to call via DBUS to mailnag and get the number of letters, and so on. Icon...
Blur is reset if you are in a review when the desktop wallpaper changes. Or when changing the time at the clock of the program **Variety** -> every minute there...
When editing, it gives an error - line 1155: EDITOR: variable bounds not set. The problem was solved in the `_verify_write_permissions` function by adding the `-E` argument to `sudo` in...
# 🐛 Bug report ## What issue are you facing It is not possible to add a track to the playlist. [](https://i.imgur.com/RRztnF3.jpg) ## Steps to reproduce Adding a track to...
Fix settings for Gnome 40 In logs when opening settings: ``` failed to add UI from file /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade: /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade:21:43 Invalid property: GtkBox.margin_left ``` If you delete: ``` 10 10 10...