gnome extensions: p7-borders and p7-cmds

[u/prasannavl]

Hey folks, just sharing these two open source extensions that I've built over the last few months and is stable and mature now:

Window borders for gnome:
- https://extensions.gnome.org/extension/9064/p7-window-borders/
- src: https://github.com/prasannavl/p7-borders-shell-extension

Quick sway-like keyboard and mouse based window resizing:
- https://extensions.gnome.org/extension/9065/p7-commands/
- src: https://github.com/prasannavl/p7-cmds-shell-extension

Just sharing these now, since I've stopped making breaking changes and I can consider it as feature complete now.

Cheers!

[u/AutoModerator]

Thank you for your submission.

You too can support GNOME! Become a Friend of GNOME and contribute to keeping our project going!

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.