@@ -691,7 +691,7 @@ def external_highlight_request(self, w, line):
691691 if STATUS .is_auto_running ():
692692 self .highlight_line (None , line - 1 )
693693 return
694- LOG .debug ('editor: got external highlight {}' .format (line ))
694+ LOG .verbose ('editor: got external highlight {}' .format (line ))
695695 #self.highlight_line(None, line-1)
696696 self .ensureLineVisible (line - 1 )
697697 #self.setSelection(line-1,0,line-1,self.lineLength(line-1)-1)
@@ -740,20 +740,20 @@ def line_changed(self, line, index):
740740
741741 def select_lineup (self , w ):
742742 line , col = self .getCursorPosition ()
743- LOG .debug (line )
743+ LOG .verbose (line )
744744 self .setCursorPosition (line - 1 , 0 )
745745 self .highlight_line (None , line - 1 )
746746
747747 def select_linedown (self , w ):
748748 line , col = self .getCursorPosition ()
749- LOG .debug (line )
749+ LOG .verbose (line )
750750 self .setCursorPosition (line + 1 , 0 )
751751 self .highlight_line (None , line + 1 )
752752
753753 def jump_line (self , jump ):
754754 line , col = self .getCursorPosition ()
755755 line = line + jump
756- LOG .debug (line )
756+ LOG .verbose (line )
757757 if line < 0 :
758758 line = 0
759759 elif line > self .lines ()- 1 :
0 commit comments