?? patchtokenmarker.java
字號:
/* * PatchTokenMarker.java - DIFF patch token marker * Copyright (C) 1999 Slava Pestov * * You may use and modify this package for any purpose. Redistribution is * permitted, in both source and binary form, provided that this notice * remains intact in all source distributions of this package. */package org.syntax.jedit.tokenmarker;import javax.swing.text.Segment;/** * Patch/diff token marker. * * @author Slava Pestov * @version $Id: PatchTokenMarker.java,v 1.7 1999/12/13 03:40:30 sp Exp $ */public class PatchTokenMarker extends TokenMarker{ public byte markTokensImpl(byte token, Segment line, int lineIndex) { if(line.count == 0) return Token.NULL; switch(line.array[line.offset]) { case '+': case '>': addToken(line.count,Token.KEYWORD1); break; case '-': case '<': addToken(line.count,Token.KEYWORD2); break; case '@': case '*': addToken(line.count,Token.KEYWORD3); break; default: addToken(line.count,Token.NULL); break; } return Token.NULL; } public boolean supportsMultilineTokens() { return false; }}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -