-
Updated
Feb 10, 2022 - TypeScript
gnome-shell
Here are 302 public repositories matching this topic...
-
Updated
Dec 14, 2021
-
Updated
Oct 2, 2021 - CSS
-
Updated
Dec 10, 2021 - JavaScript
-
Updated
Feb 4, 2022 - JavaScript
-
Updated
Jan 23, 2022 - CSS
-
Updated
Nov 13, 2021 - JavaScript
-
Updated
May 24, 2021 - CSS
-
Updated
Feb 21, 2022 - JavaScript
The Proposal
Add multiple triggers for one menu -- I.e. triggering the same menu from ctrl+space and alt+home or something like that
As suggested by @MarekPikula in #160.
There are two separate approaches for this:
- Translate profile names only when no profiles exist yet, which would be most likely during the first launch of the extension on a system
Translate all 4 default profiles regardless of whether the profiles existed before or not
Pros for 1:
- ~~Existing profile names stay as they are, so users won
سلام
مشکلی که وجود داره اینه که ممکنه برای ویجت تری فرمتی رو انتخاب کنیم که عرضش زیاد بشه. در این حالت عرض فعلی ویجت کم میاد و ادامه متن به صورت سه نقطه نشون داده میشه.
مثلا «چهارشنبه ۲۷ اردیبهشت» به صورت «چهارشنبه ۲۷...» نشون داده میشه. ممنون میشم به ترتیبی این قضیه اصلاح بشه.
-
Updated
Feb 16, 2022 - JavaScript
-
Updated
Jun 30, 2021 - JavaScript
-
Updated
Nov 17, 2021 - JavaScript
In the header bar, though, it's referring to a plural name ("installed [extensions]") while in the button it's a singular ("[the extension is] installed"), so in languages like Italian where you conjugate also adjectives in one of the two circumstances the string is wrong. I don't know how to make localization, but would it maybe be possible to make a plural and singular form of the string for u
-
Updated
Jan 19, 2022 - JavaScript
-
Updated
Feb 17, 2022 - Vue
-
Updated
Feb 15, 2022 - JavaScript
-
Updated
Feb 10, 2022 - Python
-
Updated
Jan 10, 2022 - Shell
Thanks for the great extension! I'm switching from Drop Down Terminal X since it seems it will be no longer maintained in favour of this extension, and in general this seems like a great and featureful substitute.
However, is it possible to configure ddterm to appear when scrolling down with the mousewheel on the top bar, and hide when scrolling
-
Updated
Sep 8, 2020 - CSS
-
Updated
Jan 12, 2022 - JavaScript
-
Updated
Feb 7, 2019 - CSS
-
Updated
May 7, 2017 - Python
-
Updated
Feb 14, 2022 - JavaScript
-
Updated
Apr 9, 2020 - JavaScript
Improve this page
Add a description, image, and links to the gnome-shell topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gnome-shell topic, visit your repo's landing page and select "manage topics."
When GNOME screen is locked, I can not wake it up from my phone. Neither keyboard nor mouse control will work, if the GNOME session is locked.
Sometimes when I just need a very quick check up on my PC, I pick up my phone, open KDE Connect, use remote input to move the mouse, the screen wakes up and I can see notifications, progress bars etc. from the other side of the room.
This works when