def create_margin(self, cli, wr_info, width, height):
visible_line_to_input_line = wr_info.visible_line_to_input_line
token = style.Token.LineNumber
token_error = style.ErrorLineNo
result = []
app = cli.application
snippet = buffers.get_content(app)
cp = app.engine.compile(snippet)
for y in range(wr_info.window_height):
line_number = visible_line_to_input_line.get(y)
if line_number is not None:
if cp is not None and line_number + 1 == cp:
result.append((token_error,
('%i ' % (line_number + 1)).rjust(width)))
else:
result.append(
(token, ('%i ' % (line_number + 1)).rjust(width)))
result.append((style.Token, '\n'))
return result
def create_margin(self, cli, wr_info, width, height):
visible_line_to_input_line = wr_info.visible_line_to_input_line
token = style.Token.LineNumber
token_error = style.ErrorLineNo
result = []
app = cli.application
snippet = buffers.get_content(app)
cp = app.engine.compile(snippet)
for y in range(wr_info.window_height):
line_number = visible_line_to_input_line.get(y)
if line_number is not None:
if cp is not None and line_number + 1 == cp:
result.append((token_error, ("%i " % (line_number + 1)).rjust(width)))
else:
result.append((token, ("%i " % (line_number + 1)).rjust(width)))
result.append((style.Token, "\n"))
return result
def write_file_handler(app):
snippet = buffers.get_content(app)
filename = app.snippet_file
fileutil.write_to_file(filename, snippet)
def execute_handler(app):
snippet = buffers.get_content(app)
result = app.engine.execute(snippet)
for key, val in result.items():
buffers.set_content(app, key, val, scroll_bottom=True)
