equal
deleted
inserted
replaced
136 {$ENDIF} |
136 {$ENDIF} |
137 |
137 |
138 // ctrl/cmd + q to close engine and frontend |
138 // ctrl/cmd + q to close engine and frontend |
139 {$IFDEF DARWIN} |
139 {$IFDEF DARWIN} |
140 if ((tkbdn[KeyNameToCode('left_meta')] = 1) or (tkbdn[KeyNameToCode('right_meta')] = 1)) then |
140 if ((tkbdn[KeyNameToCode('left_meta')] = 1) or (tkbdn[KeyNameToCode('right_meta')] = 1)) then |
141 {$ELSE} |
141 {$ELSE} |
142 if ((tkbdn[KeyNameToCode('left_ctrl')] = 1) or (tkbdn[KeyNameToCode('right_ctrl')] = 1)) then |
142 if ((tkbdn[KeyNameToCode('left_ctrl')] = 1) or (tkbdn[KeyNameToCode('right_ctrl')] = 1)) then |
143 {$ENDIF} |
143 {$ENDIF} |
144 begin |
144 begin |
145 if tkbdn[KeyNameToCode('q')] = 1 then ParseCommand ('halt', true) |
145 if tkbdn[KeyNameToCode('q')] = 1 then ParseCommand ('halt', true) |
146 end; |
146 end; |
147 |
147 |
148 // now process strokes |
148 // now process strokes |