📄 markerreader.java
字号:
package gnu.jemacs.swing;import gnu.jemacs.buffer.*;import gnu.mapping.*;import java.io.*;import gnu.lists.CharBuffer;public class MarkerReader extends InPort{ Marker marker; CharBuffer content; public MarkerReader(Buffer buffer) { this(buffer, buffer.pointMarker); } public MarkerReader(Marker marker) { this(marker.getBuffer(), marker); } MarkerReader(Buffer buffer, Marker marker) { super(gnu.text.NullReader.nullReader, buffer.getPath()); this.marker = marker; content = ((gnu.jemacs.swing.SwingBuffer) buffer).content.buffer; this.buffer = content.getArray(); } public int read() { int offset = marker.getOffset(); buffer = content.getArray(); if (offset >= content.gapStart) offset += content.gapEnd - content.gapStart; int length = buffer.length; pos = offset; if (offset >= length) { limit = offset; return -1; } else { int ch = buffer[pos]; pos++; limit = pos; return ch; } } public int getLineNumber () { throw new Error("MarkerReader. getLineNumber - not implemented"); } public int getColumnNumber () { throw new Error("MarkerReader,getColumnNumber - not implemented"); } public void reset () throws IOException { throw new Error("MarkerReader.reset - not implemented"); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -