001 002 package org.objectweb.jac.aspects.gui.swing; 003 004 import javax.swing.*; 005 import java.io.*; 006 007 public class EditorScrollPane extends JScrollPane 008 { 009 public SHEditor editor; 010 011 EditorScrollPane() { 012 editor = new SHEditor(); 013 this.setViewportView(editor); 014 } 015 016 public void showLineNumbering(boolean show) { 017 } 018 019 public void scrollToLine(int line) { 020 editor.scrollToLine(line); 021 } 022 023 public void loadFromFile(File f) { 024 editor.readFromFile(f); 025 } 026 027 public void saveToFile(File f) { 028 editor.saveToFile(f); 029 } 030 031 public boolean isSaved() { 032 return !editor.changed; 033 } 034 035 public void cut() { 036 editor.cut(); 037 } 038 039 public void copy() { 040 editor.copy(); 041 } 042 043 public void paste() { 044 editor.paste(); 045 } 046 }