Gecko [ www.jdcpatala.org ]

Name	Size	Permission
key_actor	[ DIR ]	drwxr-xr-x
unicode	[ DIR ]	drwxr-xr-x
ansi.rb	3.14 KB	-rw-r--r--
config.rb	6.96 KB	-rw-r--r--
general_io.rb	897 B	-rw-r--r--
history.rb	1.16 KB	-rw-r--r--
key_actor.rb	169 B	-rw-r--r--
key_stroke.rb	1.2 KB	-rw-r--r--
kill_ring.rb	2.2 KB	-rw-r--r--
line_editor.rb	66.93 KB	-rw-r--r--
unicode.rb	16.73 KB	-rw-r--r--
version.rb	38 B	-rw-r--r--
windows.rb	7.31 KB	-rw-r--r--

Code Editor : history.rb

class Reline::History < Array
  def initialize(config)
    @config = config
  end

def to_s
    'HISTORY'
  end

def delete_at(index)
    index = check_index(index)
    super(index)
  end

def [](index)
    index = check_index(index) unless index.is_a?(Range)
    super(index)
  end

def []=(index, val)
    index = check_index(index)
    super(index, String.new(val, encoding: Encoding::default_external))
  end

def concat(*val)
    val.each do |v|
      push(*v)
    end
  end

def push(*val)
    diff = size + val.size - @config.history_size
    if diff > 0
      if diff <= size
        shift(diff)
      else
        diff -= size
        clear
        val.shift(diff)
      end
    end
    super(*(val.map{ |v| String.new(v, encoding: Encoding::default_external) }))
  end

def <<(val)
    shift if size + 1 > @config.history_size
    super(String.new(val, encoding: Encoding::default_external))
  end

private def check_index(index)
    index += size if index < 0
    raise RangeError.new("index=<#{index}>") if index < -@config.history_size or @config.history_size < index
    raise IndexError.new("index=<#{index}>") if index < 0 or size <= index
    index
  end
end

${this.title}

Code Editor : history.rb