Disallow block padding

2020-07-27 08:06:46 +02:00
parent 454b81a037
commit 5e1b6acffe
126 changed files with 2 additions and 2127 deletions
@@ -41,7 +41,6 @@ import appHost from 'apphost';
    let commandTimes = {};

    function checkCommandTime(command) {
-
        const last = commandTimes[command] || 0;
        const now = new Date().getTime();

@@ -54,7 +53,6 @@ import appHost from 'apphost';
    }

    export function handleCommand(commandName, options) {
-
        lastInputTime = new Date().getTime();

        let sourceElement = (options ? options.sourceElement : null);