📄 sourcefile.java
字号:
package edu.odu.cs.zeil.AlgAE.Client.SourceViewer;import java.awt.Font;import edu.odu.cs.zeil.AlgAE.Debug;import edu.odu.cs.zeil.AlgAE.gui.TextPane;/** * SourceFile.java * * A GUI element that displays a (file of) source code. * * Created: Wed May 20 22:29:56 1998 * * @author Steven Zeil * @version */public class SourceFile extends TextPane{ private String fileName; private String fullFileName; private String indexFileName; public SourceFile(String fullfilename, String indexfilename) { setFullFileName (fullfilename); indexFileName = indexfilename; } /** * Get the value of fileName. * @return Value of fileName. */ public String getFileName() {return fileName;} /** * Set the value of fullFileName and fileName. * @param v Value to assign to fullFileName. */ public void setFullFileName(String v) { fullFileName = v; int lastSlash = v.lastIndexOf('/'); int lastBackSlash = v.lastIndexOf('\\'); int p = Math.max(-1, Math.max(lastSlash, lastBackSlash)); fileName = fullFileName.substring(p+1); } /** * Get the value of fileName. * @return Value of fileName. */ public String getFullFileName() {return fullFileName;} /** * Get the value of indexFileName. * @return Value of indexFileName. */ public String getIndexFileName() {return indexFileName;} /** * Set the value of indexFileName. * @param v Value to assign to indexFileName. */ public void setIndexFileName(String v) {indexFileName = v;} } // SourceFile
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -