diff .dir-locals.el @ 21051:5c5af828c248 @

gui: only center line with debugger pointer if line is at the top or bottom * file-editor-tab.cc (insert_debugger_pointer): use center_current_line with new flag for only centering if the line is at the top or the bottom
author Torsten <ttl@justmail.de>
date Sat, 09 Jan 2016 15:02:48 +0100
parents 9ff04de067ce
children
line wrap: on
line diff