QScintilla/Shell.py

changeset 3235
2b8f173b35bb
parent 3190
a9a94491c4fd
child 3356
22633c0739e2
equal deleted inserted replaced
3233:33b91e6c5ae4 3235:2b8f173b35bb
1291 else: 1291 else:
1292 cmd = '' 1292 cmd = ''
1293 1293
1294 self.dbs.remoteStatement(cmd) 1294 self.dbs.remoteStatement(cmd)
1295 while self.inCommandExecution: 1295 while self.inCommandExecution:
1296 QApplication.processEvents() 1296 try:
1297 QApplication.processEvents()
1298 except KeyboardInterrupt:
1299 pass
1297 else: 1300 else:
1298 if not self.echoInput: 1301 if not self.echoInput:
1299 cmd = self.buff 1302 cmd = self.buff
1300 self.inRawMode = False 1303 self.inRawMode = False
1301 self.echoInput = True 1304 self.echoInput = True

eric ide

mercurial