Changeset 102

Timestamp:

10/11/02 16:00:56 (21 years ago)

Author:

piso

Message:

Moved empty(), getLastView(), setLastView(), saveView() from SystemBuffer?.java to Buffer.java.

File:

• trunk/j/src/org/armedbear/j/SystemBuffer.java (modified) (5 diffs)

trunk/j/src/org/armedbear/j/SystemBuffer.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: SystemBuffer.java,v 1.6 2002-10-11 01:37:49 piso Exp $
+ * $Id: SystemBuffer.java,v 1.7 2002-10-11 16:00:56 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -58 +58 @@
     private String loadEncoding;
     private List tags;
-    private View lastView;
 
     protected SystemBuffer()
@@ -129 +128 @@
     }
 
-    public final List getTags()
+    public synchronized final List getTags()
     {
         return tags;
     }
 
-    public final void setTags(List tags)
+    public synchronized final void setTags(List tags)
     {
         this.tags = tags;
@@ -147 +146 @@
     {
         return lineSeparator;
-    }
-
-    public final View getLastView()
-    {
-        if (lastView != null)
-            return (View) lastView.clone();
-        else
-            return null;
-    }
-
-    public final void setLastView(View view)
-    {
-        lastView = (View) view.clone();
-    }
-
-    public void saveView(Editor editor)
-    {
-        final View view = saveViewInternal(editor);
-        editor.setView(this, view);
-        setLastView(view);
     }
 
@@ -570 +549 @@
     }
 
-    public void empty()
-    {
-        _empty();
-        setTags(null);
-        // Invalidate any stored views that are referencing the old contents
-        // of this buffer.
-        if (lastView != null)
-            lastView.invalidate();
-        for (EditorIterator it = new EditorIterator(); it.hasNext();) {
-            Editor ed = it.nextEditor();
-            View view = ed.getView(this);
-            if (view != null)
-                view.invalidate();
-            if (ed.getBuffer() == this) {
-                ed.setDot(null);
-                ed.setMark(null);
-                ed.setTopLine(null);
-            }
-        }
-    }
-
     /*package*/ void _empty()
     {