search

emasab / shelltile

A tiling window extension for GNOME Shell
https://extensions.gnome.org/extension/657/shelltile/
GNU General Public License v2.0
648 stars 42 forks source link

Allow choosing between Ctrl, Super, or both #42

Closed lagerspetz closed 7 years ago

lagerspetz commented 7 years ago

This pull request creates a new option in the settings that allows changing which key to hold for tiling. The options are currently Ctrl, Super, and Ctrl or Super (so either one works, like is the current default).

lagerspetz commented 7 years ago

@emasab Looks like you made some changes that conflict with mine; I'll fix mine so you can easily pull.

emasab commented 7 years ago

thanks, I'm going to try it.

lagerspetz commented 7 years ago

Ok, this should be good to auto-pull now @emasab . Since the key to hold for tiling is now a setting, it needs to be checked in is_ctrl_pressed.