Andreas Kling e339c2bce8 WindowServer: Disambiguate "dragging" a bit, use "moving" more instead ...

Windows that are being moved around by the user are now called "moving"
windows instead of "dragging" windows, to avoid confusion with the
drag and drop stuff.

2019-12-08 23:41:02 +01:00

11 KiB

Raw Blame History

View Raw