Comments (4)
sry, can not reproduce this and not really sure what's happening. Can you provide a screenshot ?
from gnome-shell-extensions-negesti.
Screenshot wouldn't convey the problem, so I recorded a short video comparing mouse behavior or edge tiled windows and windows snapped by Put Window:
https://drive.google.com/file/d/10khEncL_DXA1jM4b-sYnRqEbj3jwb1t3/view?usp=sharing
I hope this explains the issue: I can not "unsnap" windows resized by Put Window using a mouse. Let me know if I could provide any further information or help to debug the issue. Thanks!
from gnome-shell-extensions-negesti.
Ok, there are no round corners after moving the window to the right side e.g. gnomes build in snap mechanism is enabled and it is not possible to resize the window that was vertically maximized..
That's a known issue since gnome 3.2 and reported as #1
from gnome-shell-extensions-negesti.
Thanks! Is it the same as #1 though? It looks like #1 is about opposite issue (mouse-tiled windows cannot be moved by extension). Just wondering maybe it is possible to resize window to match width/height but without triggering the maximized state (like it works in window snapped to corner for example)?
from gnome-shell-extensions-negesti.
Related Issues (20)
- Feature request: 3x3 grid HOT 2
- Per application : cannot remove properly and overriden configuration HOT 3
- Left / Right Move Focus in Multi-Monitor setup broken on 3.36.4 HOT 3
- extensions.gnome.org : current update failed (if Gnome Shell is not reloaded via console) HOT 1
- Is it possible save some configuration file to import the configs after ? HOT 2
- Is it possible in Put Windows in the menu configuration called Applications add a "Always on Top" checkBox to set it when a configured app is started? HOT 1
- Incompatible with gnome-shell 40 HOT 1
- Settings dialogue doesn't work on gtk4 / Gnome 40 HOT 15
- Opening settings results in `No property margin_left on GtkLabel` error HOT 1
- Gnome terminal has different spacing depending on the corner... and a setting for passing in the corners would be great. HOT 2
- Incompatible Gnome 40.5 Pop_OS! 21.10 HOT 3
- [INCOMPATIBLE] Put Windows - are there any efforts to make it compatible with Ubuntu 21.10 ? HOT 3
- gjs-1.71 (+ patch) HOT 2
- 22.04 support? HOT 3
- Upgrade Please! HOT 2
- How to install it with Gnome Tweak Tool? I don't see any installation options. HOT 1
- Obtain saved config as a file HOT 2
- Support for Gnome 45 HOT 2
- Remove Application based configuration HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from gnome-shell-extensions-negesti.