equal
deleted
inserted
replaced
144 // on OS X it this is expected behaviour |
144 // on OS X it this is expected behaviour |
145 if tkbd[KeyNameToCode('left_meta')] or tkbd[KeyNameToCode('right_meta')] then |
145 if tkbd[KeyNameToCode('left_meta')] or tkbd[KeyNameToCode('right_meta')] then |
146 {$ELSE} |
146 {$ELSE} |
147 // on other systems use this shortcut only if the keys are not bound to any command |
147 // on other systems use this shortcut only if the keys are not bound to any command |
148 if tkbd[KeyNameToCode('left_ctrl')] or tkbd[KeyNameToCode('right_ctrl')] then |
148 if tkbd[KeyNameToCode('left_ctrl')] or tkbd[KeyNameToCode('right_ctrl')] then |
149 if ((CurrentBinds([KeyNameToCode('left_ctrl')]:= '') or |
149 if ((CurrentBinds[KeyNameToCode('left_ctrl')] = '') or |
150 CurrentBinds([KeyNameToCode('right_ctrl')]:= '')) and |
150 (CurrentBinds[KeyNameToCode('right_ctrl')] = '')) and |
151 CurrentBinds([closeKeyCode]:= '') then |
151 (CurrentBinds[closeKeyCode] = '') then |
152 {$ENDIF} |
152 {$ENDIF} |
153 ParseCommand('forcequit', true); |
153 ParseCommand('forcequit', true); |
154 end; |
154 end; |
155 |
155 |
156 if CurrentBinds[code][0] <> #0 then |
156 if CurrentBinds[code][0] <> #0 then |