⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 patchtokenmarker.java

📁 jedit中独立出来的语法高亮组件
💻 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 + -