gnome-shell-scroll-workspaces
JetBrainsMono
Our great sponsors
gnome-shell-scroll-workspaces | JetBrainsMono | |
---|---|---|
9 | 17 | |
70 | 10,275 | |
- | 2.2% | |
4.6 | 1.6 | |
4 months ago | 7 months ago | |
Python | Shell | |
- | SIL Open Font License 1.1 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gnome-shell-scroll-workspaces
- Enable Super+Scroll to switch workspaces anywhere
-
Void + GNOME = 🤍
Top Panel Workspace Scroll
- Survey: Your Favorite Apps
-
GNOME Workspaces not functioning (Pop!OS 21.10)
Also, I have the workspace scroll GNOME extension installed, and it now scrolls left-right, instead of up-down? This is more of a minor thing, but I was wondering why that happened
- Thoughts on my Gnome Desktop?
- Android mode
-
As of GNOME 40, how many extensions do you still depend on?
7: - Blur my Shell - Dash to Dock - Launch new instance - Quick Close in Overview - Top Panel Workspace Scroll - Unite - User Themes
- Gnome 40 is incredible but one consideration might be in order.
-
The best GNOME shell extensions
Enables switching of the workspace by scrolling on the top bar. Works on 40 and 3.38 Gnome Extensions | GitHub
JetBrainsMono
-
Berkeley Mono Typeface
> Maybe there is now
You’re right! Check out the NL (no ligature) version: https://github.com/JetBrains/JetBrainsMono/tree/master/fonts...
-
[BSPWM] My first rice!
OS: Arch Linux WM: Bspwm Compositor: Picom Launcher/Powermenu: Rofi Status Bar: Polybar Terminal: Alacritty Shell: Zsh Editor: Neovim Notification: Dunst File Manager: Lf PDF Viewer: Zathura Text fonts: JetBrains Mono Nerd Font DOTFILES: here
-
Void + GNOME = 🤍
Monospace Text: JetBrains Mono Regular
-
The Libertinus font family. What do you think about the Libertinus font family?
I might eventually end up switching to my husband's preferred font, JetBrains Mono, because I really do like the additional emphasis/distinctiveness the italics add to some things. My preferred editor is about to turn into a pumpkin anyway, so it might be a good time to make a clean break.
-
I just wanted Kdenlive :'(
Here is link number 1 - Previous text "Yes"
- Issue getting new font to work (ubuntu wsl vscode)
-
Best VSCode Extensions I use for any project
This isn't an extension, but it's another great thing I like to do: change my editor's font family. There are two wonderful and functional fonts I like best for this: Fira Code and JetBrains Mono - both free and open source. The best thing about these fonts is that they are monospaced fonts that contain ligatures for combinations of various common programming characters.
-
Change VS code font and enable ligatures.
JetBrains Mono
- JetBrains Mono: A Free and Open-source Typeface for Developers
- JetBrains Mono – the free and open-source typeface for developers
What are some alternatives?
gnome-shell-extension-x11gestures - Enable GNOME Shell multi-touch gestures on X11 with this extension
cascadia-code - This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.
gnome-shell-extension-transparent-top-bar - GNOME Shell extension that brings back the transparent top bar when free-floating in GNOME Shell 3.32
consolas-ligaturized - 🖊️ Standard Consolas font with FiraCode ligatures
blur-my-shell - Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
Iosevka - Versatile typeface for code, from code.
gnome-clipboard-history - Gnome Clipboard History is a clipboard manager Gnome extension that saves what you've copied into an easily accessible, searchable history panel.
victor-mono - A free programming font with cursive italics and ligatures. Donations welcome ❤️
hidetopbar - Read-only mirror of https://gitlab.gnome.org/tuxor1337/hidetopbar. Pull requests and issues on GitHub cannot be accepted and will be automatically closed.
Google Fonts - Font files available from Google Fonts, and a public issue tracker for all things Google Fonts
gnome-shell-remove-dropdown-arrows - Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.
FiraCode - Free monospaced font with programming ligatures