Function DefaultTilingStrategy

tiling.js:710–1817

(ext)

var DefaultTilingStrategy = function (ext){

    this.extension = ext;
    this.log = Log.getLogger("DefaultTilingStrategy");
    this.lastTime = null;
    this.lastTimeCtrlPressed = null;
    this.lastTimeShiftPressed = null;

    this.preview = new St.BoxLayout({
        style_class: 'tile-preview'
    });
    this.preview_for_edge_tiling = false;
    this.preview.visible = false;
    Main.uiGroup.add_actor(this.preview);
    var default_modifier = Gdk.Keymap.get_default();



    this.is_ctrl_pressed = function (){
        //this.log.debug("Modifier key: " + this.extension.tile_modifier_key);
        var modifiers = Clutter.ModifierType.CONTROL_MASK; // Default: Ctrl only
        if (this.extension.tile_modifier_key === 'Super')
            modifiers = Clutter.ModifierType.MOD4_MASK;
        if (this.extension.tile_modifier_key === 'Ctrl or Super')
            modifiers = modifiers | Clutter.ModifierType.MOD4_MASK;
        var ret = default_modifier.get_modifier_state() & modifiers;

        if (ret){
            this.lastTimeCtrlPressed = new Date().getTime();
        } else {
            var currTime = new Date().getTime();
            if (this.lastTimeCtrlPressed && (currTime - this.lastTimeCtrlPressed) < 500){
                ret = true;
            }
        }
        return ret;
    }

    this.is_shift_pressed = function (){
        let [x, y, mods] = global.get_pointer();
        var ret = mods & Clutter.ModifierType.SHIFT_MASK;
        if (ret){
            this.lastTimeShiftPressed = new Date().getTime();
        } else {
            var currTime = new Date().getTime();
            if (this.lastTimeShiftPressed && (currTime - this.lastTimeShiftPressed) < 500){
                ret = true;
            }
        }
        return ret;
    }

    this.check_after_move = function (moving){
        if (this._check_after_move){
            //if(this.log.is_debug()) this.log.debug("check after move");
            for (var i = 0; i < this._check_after_move.length; i++){
                var c = this._check_after_move[i];
                //if(this.log.is_debug()) this.log.debug("check after move1");