📄 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 + -