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    }