Merge branch 'bleed' of github.com:chrys87/fenrir into bleed

This commit is contained in:
chrys 2018-03-24 20:12:16 +01:00
commit 40c26cbcf4

View File

@ -36,6 +36,9 @@ class command():
if currLine.isspace(): if currLine.isspace():
self.env['runtime']['outputManager'].presentText(_("blank"), soundIcon='EmptyLine', interrupt=True, flush=False) self.env['runtime']['outputManager'].presentText(_("blank"), soundIcon='EmptyLine', interrupt=True, flush=False)
else: else:
if self.env['runtime']['settingsManager'].getSettingAsBool('general', 'autoPresentIndent'):
if oldIndent < newIndent: self.env['runtime']['outputManager'].presentText('indented ' + str(oldIndent - newIndent), interrupt=True, flush=False)
if oldIndent > newIndent: self.env['runtime']['outputManager'].presentText('outdented ' + str(newIndent - oldIndent), interrupt=True, flush=False)
self.env['runtime']['outputManager'].presentText(currLine, interrupt=True, flush=False) self.env['runtime']['outputManager'].presentText(currLine, interrupt=True, flush=False)
def setCallback(self, callback): def setCallback(self, callback):