diakonos 0.8.8 → 0.9.8

data/lib/diakonos/buffer/display.rb

@@ -0,0 +1,356 @@
+module Diakonos
+
+  class Buffer
+
+    attr_reader :top_line, :left_column
+
+    def find_opening_match( line, match_close = true, bos_allowed = true )
+      open_index = line.length
+      open_token_class = nil
+      open_match_text = nil
+      match = nil
+      match_text = nil
+      @token_regexps.each do |token_class,regexp|
+        if match = regexp.match( line )
+          if match.length > 1
+            index = match.begin 1
+            match_text = match[ 1 ]
+            whole_match_index = match.begin 0
+          else
+            whole_match_index = index = match.begin( 0 )
+            match_text = match[ 0 ]
+          end
+          if ( ! regexp.uses_bos ) || ( bos_allowed && ( whole_match_index == 0 ) )
+            if index < open_index
+              if ( ( ! match_close ) || @close_token_regexps[ token_class ] )
+                open_index = index
+                open_token_class = token_class
+                open_match_text = match_text
+              end
+            end
+          end
+        end
+      end
+
+      [ open_index, open_token_class, open_match_text ]
+    end
+
+    private def find_closing_match(line_segment, regexp, bos_allowed = true)
+      close_match_text = nil
+      close_index = nil
+
+      line_segment.scan(regexp) do |m|
+        match = Regexp.last_match
+        if match.length > 1
+          index = match.begin 1
+          match_text = match[1]
+        else
+          index = match.begin 0
+          match_text = match[0]
+        end
+        if ( ! regexp.uses_bos ) || ( bos_allowed && ( index == 0 ) )
+          close_index = index
+          close_match_text = match_text
+          break
+        end
+      end
+
+      [close_index, close_match_text]
+    end
+
+    # Prints text to the screen, truncating where necessary.
+    # Returns nil if the string is completely off-screen.
+    # write_cursor_col is buffer-relative, not screen-relative
+    def truncate_off_screen( string, write_cursor_col )
+      retval = string
+
+      # Truncate based on left edge of display area
+      if write_cursor_col < @left_column
+        retval = retval[ (@left_column - write_cursor_col)..-1 ]
+        write_cursor_col = @left_column
+      end
+
+      if retval
+        # Truncate based on right edge of display area
+        if write_cursor_col + retval.length > @left_column + Curses::cols - 1
+          new_length = ( @left_column + Curses::cols - write_cursor_col )
+          if new_length <= 0
+            retval = nil
+          else
+            retval = retval[ 0...new_length ]
+          end
+        end
+      end
+
+      retval == "" ? nil : retval
+    end
+
+    # Worker function for painting only part of a row.
+    def paint_single_row_mark( row, text_mark, string, curx, cury )
+      expanded_col = tab_expanded_column( text_mark.start_col, row )
+      if expanded_col < @left_column + Curses::cols
+        left = [ expanded_col - @left_column, 0 ].max
+        right = tab_expanded_column( text_mark.end_col, row ) - @left_column
+        if left < right
+          @win_main.setpos( cury, curx + left )
+          @win_main.addstr string[ left...right ]
+        end
+      end
+    end
+
+    def paint_marks( row )
+      string = @lines[ row ][ @left_column ... @left_column + Curses::cols ]
+      return  if string.nil? || string == ""
+      string = string.expand_tabs( @tab_size )
+      cury = @win_main.cury
+      curx = @win_main.curx
+
+      @text_marks.values.flatten.reverse_each do |text_mark|
+        next  if text_mark.nil?
+
+        @win_main.attrset text_mark.formatting
+
+        case @selection_mode
+        when :normal
+          if ( (text_mark.start_row + 1) .. (text_mark.end_row - 1) ) === row
+            @win_main.setpos( cury, curx )
+            @win_main.addstr string
+          elsif row == text_mark.start_row && row == text_mark.end_row
+            paint_single_row_mark( row, text_mark, string, curx, cury )
+          elsif row == text_mark.start_row
+            expanded_col = tab_expanded_column( text_mark.start_col, row )
+            if expanded_col < @left_column + Curses::cols
+              left = [ expanded_col - @left_column, 0 ].max
+              @win_main.setpos( cury, curx + left )
+              @win_main.addstr string[ left..-1 ]
+            end
+          elsif row == text_mark.end_row
+            right = tab_expanded_column( text_mark.end_col, row ) - @left_column
+            @win_main.setpos( cury, curx )
+            @win_main.addstr string[ 0...right ]
+          else
+            # This row not in selection.
+          end
+        when :block
+          if(
+            text_mark.start_row <= row && row <= text_mark.end_row ||
+            text_mark.end_row <= row && row <= text_mark.start_row
+          )
+            paint_single_row_mark( row, text_mark, string, curx, cury )
+          end
+        end
+      end
+    end
+
+    def paint_column_markers
+      $diakonos.column_markers.each_value do |data|
+        column = data[ :column ]
+        next  if column.nil?
+        next  if column > Curses::cols - @left_column || column - @left_column < 0
+
+        num_lines_to_paint = [ $diakonos.main_window_height, @lines.size - @top_line ].min
+        ( 0...num_lines_to_paint ).each do |row|
+          @win_main.setpos( row, column - @left_column )
+          @win_main.attrset data[ :format ]
+          @win_main.addstr( @lines[ @top_line + row ][ column + @left_column ] || ' ' )
+        end
+      end
+    end
+
+    def print_string( string, formatting = ( @token_formats[ @continued_format_class ] || @default_formatting ) )
+      return  if ! @pen_down
+      return  if string.nil?
+
+      @win_main.attrset formatting
+      @win_main.addstr string
+    end
+
+    # This method assumes that the cursor has been set up already at
+    # the left-most column of the correct on-screen row.
+    # It merely unintelligently prints the characters on the current curses line,
+    # refusing to print characters of the in-buffer line which are offscreen.
+    def print_line( line )
+      i = 0
+      substr = nil
+      index = nil
+      while i < line.length
+        substr = line[ i..-1 ]
+        if @continued_format_class
+          close_index, close_match_text = find_closing_match(
+            substr,
+            @close_token_regexps[@continued_format_class],
+            i == 0
+          )
+
+          if close_match_text.nil?
+            print_string truncate_off_screen( substr, i )
+            print_padding_from( line.length )
+            i = line.length
+          else
+            end_index = close_index + close_match_text.length
+            print_string truncate_off_screen( substr[ 0...end_index ], i )
+            @continued_format_class = nil
+            i += end_index
+          end
+        else
+          first_index, first_token_class, first_word = find_opening_match( substr, MATCH_ANY, i == 0 )
+
+          if @lang_stack.length > 0
+            prev_lang, close_token_class = @lang_stack[-1]
+            close_index, close_match_text = find_closing_match(
+              substr,
+              $diakonos.close_token_regexps[prev_lang][close_token_class],
+              i == 0
+            )
+
+            if close_match_text && close_index <= first_index
+              # Print any remaining text in the embedded language
+              s = substr[0...close_index]
+              print_string( truncate_off_screen(s, i) )
+              i += s.length
+
+              @lang_stack.pop
+              set_language prev_lang
+
+              print_string(
+                truncate_off_screen(
+                  substr[
+                    close_index...(close_index + close_match_text.length)
+                  ],
+                  i
+                ),
+                @token_formats[close_token_class]
+              )
+              i += close_match_text.length
+
+              # Continue printing from here.
+              next
+            end
+          end
+
+          if first_word
+            if first_index > 0
+              # Print any preceding text in the default format
+              print_string truncate_off_screen( substr[ 0...first_index ], i )
+              i += substr[ 0...first_index ].length
+            end
+            print_string( truncate_off_screen( first_word, i ), @token_formats[ first_token_class ] )
+            i += first_word.length
+            if @close_token_regexps[ first_token_class ]
+              if change_to = @settings[ "lang.#{@language}.tokens.#{first_token_class}.change_to" ]
+                @lang_stack.push [ @language, first_token_class ]
+                set_language change_to
+              else
+                @continued_format_class = first_token_class
+              end
+            end
+          else
+            print_string truncate_off_screen( substr, i )
+            i += substr.length
+            break
+          end
+        end
+      end
+
+      print_padding_from i
+    end
+
+    def print_padding_from( col )
+      return  if ! @pen_down
+
+      if col < @left_column
+        remainder = Curses::cols
+      else
+        remainder = @left_column + Curses::cols - col
+      end
+
+      if remainder > 0
+        print_string( " " * remainder )
+      end
+    end
+
+    def display
+      @continued_format_class = nil
+      @pen_down = true
+      @lang_stack = []
+
+      # First, we have to "draw" off-screen, in order to check for opening of
+      # multi-line highlights.
+
+      # So, first look backwards from the @top_line to find the first opening
+      # regexp match, if any.
+      index = @top_line - 1
+      @lines[ [ 0, @top_line - @settings[ "view.lookback" ] ].max...@top_line ].reverse_each do |line|
+        open_index = -1
+        open_token_class = nil
+        open_match_text = nil
+
+        open_index, open_token_class, open_match_text = find_opening_match( line )
+
+        if open_token_class
+          @pen_down = false
+          @lines[ index...@top_line ].each do |line|
+            print_line line
+          end
+          @pen_down = true
+
+          break
+        end
+
+        index = index - 1
+      end
+
+      # Draw each on-screen line.
+      y = 0
+      @lines[ @top_line...($diakonos.main_window_height + @top_line) ].each_with_index do |line, row|
+        if @win_line_numbers
+          @win_line_numbers.setpos( y, 0 )
+          @win_line_numbers.attrset @settings[ 'view.line_numbers.format' ]
+          n = ( @top_line+row+1 ).to_s
+          @win_line_numbers.addstr(
+            @settings[ 'view.line_numbers.number_format' ] % [
+              n[ -[ @settings[ 'view.line_numbers.width' ], n.length ].min..-1 ]
+            ]
+          )
+        end
+        @win_main.setpos( y, 0 )
+        print_line line.expand_tabs( @tab_size )
+        @win_main.setpos( y, 0 )
+        paint_marks @top_line + row
+        y += 1
+      end
+
+      # Paint the empty space below the file if the file is too short to fit in one screen.
+      ( y...$diakonos.main_window_height ).each do |y|
+        if @win_line_numbers
+          @win_line_numbers.setpos( y, 0 )
+          @win_line_numbers.attrset @settings[ 'view.line_numbers.format' ]
+          @win_line_numbers.addstr( ' ' * @settings[ 'view.line_numbers.width' ] )
+        end
+
+        @win_main.setpos( y, 0 )
+        @win_main.attrset @default_formatting
+        linestr = " " * Curses::cols
+        if @settings[ "view.nonfilelines.visible" ]
+          linestr[ 0 ] = ( @settings[ "view.nonfilelines.character" ] || "~" )
+        end
+
+        @win_main.addstr linestr
+      end
+
+      paint_column_markers
+
+      if @win_line_numbers
+        @win_line_numbers.refresh
+      end
+      @win_main.setpos( @last_screen_y , @last_screen_x )
+      @win_main.refresh
+
+      if @language != @original_language
+        set_language( @original_language )
+      end
+    end
+
+  end
+
+end

data/lib/diakonos/buffer/file.rb

@@ -0,0 +1,157 @@
+module Diakonos
+
+  class Buffer
+
+    def save( filename = nil, prompt_overwrite = DONT_PROMPT_OVERWRITE )
+      if filename
+        name = File.expand_path( filename )
+      else
+        name = @name
+      end
+
+      if @read_only && FileTest.exists?( @name ) && FileTest.exists?( name ) && ( File.stat( @name ).ino == File.stat( name ).ino )
+        $diakonos.set_iline "#{name} cannot be saved since it is read-only."
+      else
+        @read_only = false
+        if name.nil?
+          $diakonos.save_file_as
+        else
+          proceed = true
+
+          if prompt_overwrite && FileTest.exists?( name )
+            proceed = false
+            choice = $diakonos.get_choice(
+              "Overwrite existing '#{name}'?",
+              [ CHOICE_YES, CHOICE_NO ],
+              CHOICE_NO
+            )
+            case choice
+            when CHOICE_YES
+              proceed = true
+            when CHOICE_NO
+              proceed = false
+            end
+          end
+
+          if file_modified?
+            proceed = ! $diakonos.revert( "File has been altered externally.  Load on-disk version?" )
+          end
+
+          if proceed
+            save_copy name
+            @name = name
+            @last_modification_check = File.mtime( @name )
+            saved = true
+
+            if @name =~ /#{$diakonos.diakonos_home}\/.*\.conf/
+              $diakonos.load_configuration
+              $diakonos.initialize_display
+            end
+
+            @modified = false
+
+            display
+            $diakonos.update_status_line
+          end
+        end
+      end
+
+      saved
+    end
+
+    # Returns true on successful write.
+    def save_copy( filename )
+      return false if filename.nil?
+
+      name = File.expand_path( filename )
+
+      if @settings['save_backup_files']
+        begin
+          FileUtils.cp name, name+'~', preserve: true
+        rescue Errno::ENOENT
+          # Do nothing if file didn't exist yet
+        end
+      end
+
+      File.open( name, "w" ) do |f|
+        @lines[ 0..-2 ].each do |line|
+          if @settings[ 'strip_trailing_whitespace_on_save' ]
+            line.rstrip!
+          end
+          f.puts line
+        end
+
+        line = @lines[ -1 ]
+        if @settings[ 'strip_trailing_whitespace_on_save' ]
+          line.rstrip!
+        end
+        if line != ""
+          # No final newline character
+          if @settings[ "eof_newline" ]
+            line << "\n"
+            @lines << ''
+          end
+          f.print line
+        end
+
+        if @settings[ 'strip_trailing_whitespace_on_save' ]
+          if @last_col > @lines[ @last_row ].size
+            cursor_to @last_row, @lines[ @last_row ].size
+          end
+        end
+      end
+    end
+
+    # Check if the file which is being edited has been modified since
+    # the last time we checked it.
+    # @return true if file has been modified
+    # @return false if file has not been modified
+    def file_modified?
+      modified = false
+
+      if @name
+        begin
+          mtime = File.mtime( @name )
+
+          if mtime > @last_modification_check
+            modified = true
+            @last_modification_check = mtime
+          end
+        rescue Errno::ENOENT
+          # Ignore if file doesn't exist
+        end
+      end
+
+      modified
+    end
+
+    # Compares MD5 sums of buffer and actual file on disk.
+    # Returns true if there is no file on disk.
+    def file_different?
+      if @name && File.exist?( @name )
+        Digest::MD5.hexdigest(
+          @lines.join( "\n" )
+        ) != Digest::MD5.hexdigest(
+          File.read( @name )
+        )
+      else
+        true
+      end
+    end
+
+    def set_modified( do_display = DO_DISPLAY, use_md5 = DONT_USE_MD5 )
+      if @read_only
+        $diakonos.set_iline "Warning: Modifying a read-only file."
+      end
+
+      @modified = use_md5 ? file_different? : true
+      clear_matches
+      if do_display
+        $diakonos.update_status_line
+        display
+      end
+    end
+
+  end
+
+end

data/lib/diakonos/buffer/indentation.rb

@@ -0,0 +1,175 @@
+module Diakonos
+
+  class Buffer
+
+    def tab_expanded_column( col, row )
+      delta = 0
+      line = @lines[ row ]
+      for i in 0...col
+        if line[ i ] == "\t"
+          delta += ( @tab_size - ( (i+delta) % @tab_size ) ) - 1
+        end
+      end
+      col + delta
+    end
+
+    def set_indent( row, level, opts = {} )
+      do_display = opts.fetch( :do_display, true )
+      undoable   = opts.fetch( :undoable,   true )
+      cursor_eol = opts.fetch( :cursor_eol, false )
+
+      @lines[ row ] =~ /^([\s#{@indent_ignore_charset}]*)(.*)$/
+      current_indent_text = ( $1 || "" )
+      rest = ( $2 || "" )
+      current_indent_text.gsub!( /\t/, ' ' * @tab_size )
+      indentation = @indent_size * [ level, 0 ].max
+      if current_indent_text.length >= indentation
+        indent_text = current_indent_text[ 0...indentation ]
+      else
+        indent_text = current_indent_text + " " * ( indentation - current_indent_text.length )
+      end
+      if @settings[ "lang.#{@language}.indent.using_tabs" ]
+        num_tabs = 0
+        indent_text.gsub!( / {#{@tab_size}}/ ) { |match|
+          num_tabs += 1
+          "\t"
+        }
+        indentation -= num_tabs * ( @tab_size - 1 )
+      end
+
+      take_snapshot( TYPING )  if do_display && undoable
+      @lines[ row ] = indent_text + rest
+      if do_display
+        cursor_to(
+          row,
+          cursor_eol ? @lines[row].length : indentation
+        )
+      end
+      set_modified do_display
+    end
+
+    def indentation_level( row, use_indent_ignore = USE_INDENT_IGNORE )
+      line = @lines[ row ]
+
+      if use_indent_ignore
+        if line =~ /^[\s#{@indent_ignore_charset}]*$/ || line == ""
+          level = 0
+        elsif line =~ /^([\s#{@indent_ignore_charset}]+)[^\s#{@indent_ignore_charset}]/
+          whitespace = $1.expand_tabs( @tab_size )
+          level = whitespace.length / @indent_size
+          if @indent_roundup && ( whitespace.length % @indent_size > 0 )
+            level += 1
+          end
+        else
+          level = 0
+        end
+      else
+        level = 0
+        if line =~ /^([\s]+)/
+          whitespace = $1.expand_tabs( @tab_size )
+          level = whitespace.length / @indent_size
+          if @indent_roundup && ( whitespace.length % @indent_size > 0 )
+            level += 1
+          end
+        end
+      end
+
+      level
+    end
+
+    # @param starting_row [Integer]
+    # @param next_line_check [Boolean]
+    # @return [Integer]
+    def nearest_basis_row_from(starting_row, next_line_check = true)
+      row = starting_row-1
+
+      if @lines[row] =~ @indenters_next_line || @lines[row] =~ @indenters
+        return row
+      end
+
+      loop do
+        return nil  if row.nil? || row < 0
+
+        while (
+          @lines[row] =~ /^[\s#{@indent_ignore_charset}]*$/ ||
+          @lines[row] =~ @settings[ "lang.#{@language}.indent.ignore" ] ||
+          @lines[row] =~ @settings[ "lang.#{@language}.indent.not_indented" ]
+        )
+          row = nearest_basis_row_from(row)
+          return nil  if row.nil?
+        end
+
+        if next_line_check
+          row_before = nearest_basis_row_from(row, false)
+          if row_before && @lines[row_before] =~ @indenters_next_line
+            row = row_before
+            next
+          end
+        end
+
+        break
+      end
+
+      row
+    end
+
+    def parsed_indent( opts = {} )
+      row        = opts.fetch( :row,        @last_row )
+      do_display = opts.fetch( :do_display, true )
+      undoable   = opts.fetch( :undoable,   true )
+      cursor_eol = opts.fetch( :cursor_eol, false )
+
+      if row == 0 || @lines[ row ] =~ @settings[ "lang.#{@language}.indent.not_indented" ]
+        level = 0
+      else
+        basis_row = nearest_basis_row_from(row)
+
+        if basis_row.nil?
+          level = 0
+        else
+          # @lines[basis_row] += " // x"
+          level = indentation_level(basis_row)
+
+          prev_line = @lines[basis_row]
+          line = @lines[row]
+
+          if @preventers
+            prev_line = prev_line.gsub( @preventers, "" )
+            line = line.gsub( @preventers, "" )
+          end
+
+          indenter_index = (prev_line =~ @indenters)
+          nl_indenter_index = (prev_line =~ @indenters_next_line)
+
+          if nl_indenter_index && basis_row == row-1
+            level += 1
+          elsif indenter_index
+            level += 1
+            unindenter_index = (prev_line =~ @unindenters)
+            if unindenter_index && unindenter_index != indenter_index
+              level -= 1
+            end
+          end
+
+          if line =~ @unindenters
+            level -= 1
+          end
+        end
+      end
+
+      set_indent  row, level, do_display: do_display, undoable: undoable, cursor_eol: cursor_eol
+    end
+
+    def indent( row = @last_row, do_display = DO_DISPLAY )
+      level = indentation_level( row, DONT_USE_INDENT_IGNORE )
+      set_indent  row, level + 1, do_display: do_display
+    end
+
+    def unindent( row = @last_row, do_display = DO_DISPLAY )
+      level = indentation_level( row, DONT_USE_INDENT_IGNORE )
+      set_indent  row, level - 1, do_display: do_display
+    end
+
+  end
+
+end