#NEWLINE# def redraw_highlights( self , view = 'default' ) : #NEWLINE# #INDENT# self . v . erase_regions ( ENSIME_ERROR_OUTLINE_REGION ) #NEWLINE# self . v . erase_regions ( ENSIME_ERROR_UNDERLINE_REGION ) #NEWLINE# if self . env : #NEWLINE# #INDENT# relevant_notes = self . env . notes_storage . for_file ( self . v . file_name ( ) ) #NEWLINE# underlines = [ sublime . Region ( note . start , note . end ) for note in relevant_notes ] #NEWLINE# if ( self . env . settings . get ( 'error_highlight' ) and self . env . settings . get ( 'error_underline' ) ) : #NEWLINE# #INDENT# self . v . add_regions ( ENSIME_ERROR_UNDERLINE_REGION , ( underlines + self . v . get_regions ( ENSIME_ERROR_UNDERLINE_REGION ) ) , self . env . settings . get ( 'error_scope' ) , sublime . DRAW_EMPTY_AS_OVERWRITE ) #NEWLINE# #UNINDENT# errors = [ self . v . full_line ( note . start ) for note in relevant_notes ] #NEWLINE# if self . env . settings . get ( 'error_highlight' ) : #NEWLINE# #INDENT# self . v . add_regions ( ENSIME_ERROR_OUTLINE_REGION , ( errors + self . v . get_regions ( ENSIME_ERROR_OUTLINE_REGION ) ) , self . env . settings . get ( 'error_scope' ) , self . env . settings . get ( 'error_icon' ) , sublime . DRAW_OUTLINED ) #NEWLINE# #UNINDENT# self . redraw_status ( ) #NEWLINE# self . redraw_breakpoints ( ) #NEWLINE# self . redraw_debug_focus ( ) #NEWLINE# self . redraw_stack_focus ( )