de.uni_paderborn.fujaba.mpEdit
Class DocMan

java.lang.Object
  extended byde.uni_paderborn.fujaba.mpEdit.DocMan
All Implemented Interfaces:
DocInterface

class DocMan
extends java.lang.Object
implements DocInterface

No comment provided by developer, please add a comment to improve documentation.

Version:
$Revision: 1.35 $
Author:
$Author: schneider $

Field Summary
private static int DELETE
          No comment provided by developer, please add a comment to improve documentation.
private static int DELETE_LINE
          No comment provided by developer, please add a comment to improve documentation.
private  boolean dirty
          No comment provided by developer, please add a comment to improve documentation.
private  DocOwnerInterface docOwner
          No comment provided by developer, please add a comment to improve documentation.
private  java.io.File file
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.Vector frames
          No comment provided by developer, please add a comment to improve documentation.
private  boolean hiding
          No comment provided by developer, please add a comment to improve documentation.
private  boolean highlighting
          No comment provided by developer, please add a comment to improve documentation.
private  Hilite hilite
          No comment provided by developer, please add a comment to improve documentation.
private static int INSERT
          No comment provided by developer, please add a comment to improve documentation.
private static int JOIN_LINE
          No comment provided by developer, please add a comment to improve documentation.
private  LineMan lines
          No comment provided by developer, please add a comment to improve documentation.
private  java.lang.String lineSeparator
          No comment provided by developer, please add a comment to improve documentation.
private  mpEDIT mpEdit
          No comment provided by developer, please add a comment to improve documentation.
private  boolean neverNamed
          No comment provided by developer, please add a comment to improve documentation.
(package private)  int nextTag
          No comment provided by developer, please add a comment to improve documentation.
private  boolean privateProps
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.Properties props
          No comment provided by developer, please add a comment to improve documentation.
private  boolean readOnly
          No comment provided by developer, please add a comment to improve documentation.
private  JournalItem redo_list
          No comment provided by developer, please add a comment to improve documentation.
private static int REPLACE_LINE
          No comment provided by developer, please add a comment to improve documentation.
private  Ruler ruler
          No comment provided by developer, please add a comment to improve documentation.
private  java.lang.Boolean saveReadOnly
          No comment provided by developer, please add a comment to improve documentation.
private  int SLOW_READ
          No comment provided by developer, please add a comment to improve documentation.
private  int SLOW_WRITE
          No comment provided by developer, please add a comment to improve documentation.
private static int SPLIT_LINE
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.ResourceBundle strings
          No comment provided by developer, please add a comment to improve documentation.
private static int SWAP_LINES
          No comment provided by developer, please add a comment to improve documentation.
private  java.util.Vector textMenus
          No comment provided by developer, please add a comment to improve documentation.
private  JournalItem undo_list
          No comment provided by developer, please add a comment to improve documentation.
 
Constructor Summary
DocMan(mpEDIT mpe, java.util.ResourceBundle str, java.util.Properties pr)
          Constructor for class DocMan
 
Method Summary
 boolean addLine(TagLine tag, java.lang.String s)
          Insert a line of text before the TagLine.
 void addTextMenu(TextMenu e)
          Access method for an one to n association.
 TextFrame anyFrame()
          No comment provided by developer, please add a comment to improve documentation.
 void applyProperties()
          No comment provided by developer, please add a comment to improve documentation.
 java.lang.String clear_line(int line)
          No comment provided by developer, please add a comment to improve documentation.
 void clear_undo()
          No comment provided by developer, please add a comment to improve documentation.
 void closeDoc(boolean bail)
          Closes this document.
 void closeFrame(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
private  java.lang.String copy_or_cut(JournalItem i, boolean cut)
          No comment provided by developer, please add a comment to improve documentation.
 void delete_char(int line, int column)
          No comment provided by developer, please add a comment to improve documentation.
 java.lang.String delete_line(int line)
          No comment provided by developer, please add a comment to improve documentation.
 java.lang.String delete_section(int line, int column, int eline, int ecolumn, boolean cut)
          No comment provided by developer, please add a comment to improve documentation.
 boolean deleteLine(TagLine tag)
          Delete a line.
 void doCloseFrame(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
private  boolean doSaveFile(TextFrame textFrame, boolean As)
          No comment provided by developer, please add a comment to improve documentation.
 void extendHilite(int highest)
          No comment provided by developer, please add a comment to improve documentation.
 void filePrint(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
 boolean fileSave(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
 void fileSaveAs(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
 java.awt.Color getCommentColor()
          Get the commentColor attribute of the DocMan object
 java.awt.Color getCommentXColor()
          Get the commentXColor attribute of the DocMan object
 javax.swing.text.Document getDocument()
          Copies the content of this doc into a swing-Document.
private  java.lang.String getFileForSave(TextFrame textFrame)
          Get the fileForSave attribute of the DocMan object
 java.lang.String getFilename()
          Returns the filename (no path) for this document.
 java.awt.Font getFont()
          Get the font attribute of the DocMan object
 java.lang.String getFontStyle()
          Get the fontStyle attribute of the DocMan object
 java.awt.Color getHideColor()
          Get the hideColor attribute of the DocMan object
 int getHideLevel()
          Get the hideLevel attribute of the DocMan object
 java.awt.Color getHideXColor()
          Get the hideXColor attribute of the DocMan object
private  int getHighest()
          Get the highest attribute of the DocMan object
 Hilite getHilite()
          Get the hilite attribute of the DocMan object
 java.awt.Color getKeywordColor()
          Get the keywordColor attribute of the DocMan object
 java.awt.Color getKeywordXColor()
          Get the keywordXColor attribute of the DocMan object
 java.lang.String getLine(int i)
          Get the line attribute of the DocMan object
 java.lang.String getLine(TagLine tag)
          Get the text for a line.
 int getLineCount()
          Get the line count for a document.
 LineInfo getLineInfo(int i)
          Get the lineInfo attribute of the DocMan object
 DocOwnerInterface getOwner()
          Get the owner attribute of the DocMan object
 java.lang.String getPathname()
          Returns the full path to this document.
 java.lang.String getProperty(java.lang.String p)
          Get the property attribute of the DocMan object
 java.awt.Color getQuoteColor()
          Get the quoteColor attribute of the DocMan object
 java.awt.Color getQuoteXColor()
          Get the quoteXColor attribute of the DocMan object
 int getTabSize()
          Get the tabSize attribute of the DocMan object
 java.awt.Color getTextColor()
          Get the textColor attribute of the DocMan object
 java.awt.Color getTextXColor()
          Get the textXColor attribute of the DocMan object
 void insert_char(int line, int column, char c)
          No comment provided by developer, please add a comment to improve documentation.
 void insert_line(int after, java.lang.String txt)
          No comment provided by developer, please add a comment to improve documentation.
 TextPosition insert_section(int line, int column, java.lang.String s, boolean update)
          No comment provided by developer, please add a comment to improve documentation.
 TextPosition insert(JournalItem i)
          No comment provided by developer, please add a comment to improve documentation.
private  void internal_swap_lines(int first, int second)
          No comment provided by developer, please add a comment to improve documentation.
 boolean isBusy()
          Get the busy attribute of the DocMan object
 boolean isDirty()
          Fetch the dirty flag.
 boolean isReadOnly()
          Get the readOnly attribute of the DocMan object
 void join_line(int line, int column)
          No comment provided by developer, please add a comment to improve documentation.
private  void legalizeCursors()
          No comment provided by developer, please add a comment to improve documentation.
 int lineFromTag(TagLine tag)
          Get the current line number for a TagLine.
 void newDoc()
          No comment provided by developer, please add a comment to improve documentation.
 TextFrame newFrame(java.awt.Point point, java.awt.Dimension size)
          No comment provided by developer, please add a comment to improve documentation.
 void openDoc(TextFrame textFrame, java.lang.String filename)
          No comment provided by developer, please add a comment to improve documentation.
 void read(TextFrame textFrame, java.lang.String filename)
          No comment provided by developer, please add a comment to improve documentation.
private  void redo_line(JournalItem i)
          No comment provided by developer, please add a comment to improve documentation.
 void redo(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
private  void remember_line(int line, int column, java.lang.String s)
          No comment provided by developer, please add a comment to improve documentation.
 void saveAsDoc(java.lang.String pathname)
          Writes out this document.
 void saveDoc()
          Writes out this document.
 void scan()
          No comment provided by developer, please add a comment to improve documentation.
 void setDirty(boolean d)
          This sets the dirty flag.
 void setFilename(java.lang.String fileName)
          Sets the filename for this document.
 void setFontStyle(java.lang.String style)
          Sets the fontStyle attribute of the DocMan object
 boolean setLine(TagLine tag, java.lang.String s)
          Set the text for a line.
 void setOwner(DocOwnerInterface o)
          Sets the owner attribute of the DocMan object
 void setProperties(java.util.Properties p)
          Sets the properties attribute of the DocMan object
 void setProperty(java.lang.String p, java.lang.String v)
          Sets the property attribute of the DocMan object
 void setReadOnly(boolean aReadOnly)
          Sets the readOnly attribute of the DocMan object
 void setTitles()
          Sets the titles attribute of the DocMan object
 void setUntitled(int count)
          Sets the untitled attribute of the DocMan object
 boolean showLine(TagLine tag)
          Bring forward any view window and scroll to the desired line.
 void split_line(int line, int column)
          No comment provided by developer, please add a comment to improve documentation.
 void split_or_join(JournalItem i, boolean join)
          No comment provided by developer, please add a comment to improve documentation.
 void splitProperties()
          No comment provided by developer, please add a comment to improve documentation.
 void swap_lines(int first, int second)
          No comment provided by developer, please add a comment to improve documentation.
 TagLine tagLine(int line)
          No comment provided by developer, please add a comment to improve documentation.
 TagLine tagLine(int line, java.awt.Color color)
          Set a TagLine (including a tag color), used to track lines even when lines have been inserted or deleted elsewhere in the document.
 void undo(TextFrame textFrame)
          No comment provided by developer, please add a comment to improve documentation.
 void updateFrames(int first, int last)
          No comment provided by developer, please add a comment to improve documentation.
private  void updateMenus()
          No comment provided by developer, please add a comment to improve documentation.
 void updateProperties(boolean global)
          No comment provided by developer, please add a comment to improve documentation.
 void updateUndoItems(boolean un, boolean re)
          No comment provided by developer, please add a comment to improve documentation.
 void write(TextFrame textFrame, java.io.File file)
          No comment provided by developer, please add a comment to improve documentation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

mpEdit

private mpEDIT mpEdit
No comment provided by developer, please add a comment to improve documentation.


strings

private java.util.ResourceBundle strings
No comment provided by developer, please add a comment to improve documentation.


props

private java.util.Properties props
No comment provided by developer, please add a comment to improve documentation.


hilite

private Hilite hilite
No comment provided by developer, please add a comment to improve documentation.


ruler

private Ruler ruler
No comment provided by developer, please add a comment to improve documentation.


lines

private LineMan lines
No comment provided by developer, please add a comment to improve documentation.


docOwner

private DocOwnerInterface docOwner
No comment provided by developer, please add a comment to improve documentation.


frames

private java.util.Vector frames
No comment provided by developer, please add a comment to improve documentation.


textMenus

private java.util.Vector textMenus
No comment provided by developer, please add a comment to improve documentation.


file

private java.io.File file
No comment provided by developer, please add a comment to improve documentation.


undo_list

private JournalItem undo_list
No comment provided by developer, please add a comment to improve documentation.


redo_list

private JournalItem redo_list
No comment provided by developer, please add a comment to improve documentation.


dirty

private boolean dirty
No comment provided by developer, please add a comment to improve documentation.


neverNamed

private boolean neverNamed
No comment provided by developer, please add a comment to improve documentation.


privateProps

private boolean privateProps
No comment provided by developer, please add a comment to improve documentation.


highlighting

private boolean highlighting
No comment provided by developer, please add a comment to improve documentation.


hiding

private boolean hiding
No comment provided by developer, please add a comment to improve documentation.


saveReadOnly

private java.lang.Boolean saveReadOnly
No comment provided by developer, please add a comment to improve documentation.


readOnly

private boolean readOnly
No comment provided by developer, please add a comment to improve documentation.


lineSeparator

private java.lang.String lineSeparator
No comment provided by developer, please add a comment to improve documentation.


REPLACE_LINE

private static final int REPLACE_LINE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

SPLIT_LINE

private static final int SPLIT_LINE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

JOIN_LINE

private static final int JOIN_LINE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

INSERT

private static final int INSERT
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

DELETE

private static final int DELETE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

SWAP_LINES

private static final int SWAP_LINES
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

DELETE_LINE

private static final int DELETE_LINE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

nextTag

int nextTag
No comment provided by developer, please add a comment to improve documentation.


SLOW_READ

private final int SLOW_READ
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values

SLOW_WRITE

private final int SLOW_WRITE
No comment provided by developer, please add a comment to improve documentation.

See Also:
Constant Field Values
Constructor Detail

DocMan

public DocMan(mpEDIT mpe,
              java.util.ResourceBundle str,
              java.util.Properties pr)
Constructor for class DocMan

Parameters:
mpe - No description provided
str - No description provided
pr - No description provided
Method Detail

setOwner

public void setOwner(DocOwnerInterface o)
Sets the owner attribute of the DocMan object

Parameters:
o - The new owner value

getOwner

public DocOwnerInterface getOwner()
Get the owner attribute of the DocMan object

Returns:
The owner value

closeDoc

public void closeDoc(boolean bail)
Closes this document. If the "bail" flag is true changes will be discarded, otherwise the user will be queried.

Specified by:
closeDoc in interface DocInterface
Parameters:
bail - Exit immediately, discarding changes.

saveDoc

public void saveDoc()
Writes out this document.

Specified by:
saveDoc in interface DocInterface

saveAsDoc

public void saveAsDoc(java.lang.String pathname)
Writes out this document.

Specified by:
saveAsDoc in interface DocInterface
Parameters:
pathname - New document name (full path).

getPathname

public java.lang.String getPathname()
Returns the full path to this document.

Specified by:
getPathname in interface DocInterface
Returns:
Document name (full path).

getFilename

public java.lang.String getFilename()
Returns the filename (no path) for this document.

Specified by:
getFilename in interface DocInterface
Returns:
Document name (no path).

setFilename

public void setFilename(java.lang.String fileName)
Sets the filename for this document.

Specified by:
setFilename in interface DocInterface
Parameters:
fileName - Document name .

isDirty

public boolean isDirty()
Fetch the dirty flag.

Specified by:
isDirty in interface DocInterface
Returns:
True if the file has been changed since being written.

setDirty

public void setDirty(boolean d)
This sets the dirty flag. Use this method with special care, if the flag is set to false, there will be no question about saving.

Specified by:
setDirty in interface DocInterface
Parameters:
d - The new dirty value

getLineCount

public int getLineCount()
Get the line count for a document.

Specified by:
getLineCount in interface DocInterface
Returns:
The lineCount value

tagLine

public TagLine tagLine(int line)
No comment provided by developer, please add a comment to improve documentation.

Specified by:
tagLine in interface DocInterface
Parameters:
line - No description provided
Returns:
No description provided

tagLine

public TagLine tagLine(int line,
                       java.awt.Color color)
Set a TagLine (including a tag color), used to track lines even when lines have been inserted or deleted elsewhere in the document.

Specified by:
tagLine in interface DocInterface
Parameters:
color - The Color to display (pass null to clear).
line - No description provided
Returns:
The TagLine for a given line.

lineFromTag

public int lineFromTag(TagLine tag)
Get the current line number for a TagLine.

Specified by:
lineFromTag in interface DocInterface
Parameters:
tag - No description provided
Returns:
The TagLine for a given line.

showLine

public boolean showLine(TagLine tag)
Bring forward any view window and scroll to the desired line.

Specified by:
showLine in interface DocInterface
Parameters:
tag - No description provided
Returns:
No description provided

getLine

public java.lang.String getLine(TagLine tag)
Get the text for a line.

Specified by:
getLine in interface DocInterface
Parameters:
tag - No description provided
Returns:
The text for the line (null if TagLine not found).

setLine

public boolean setLine(TagLine tag,
                       java.lang.String s)
Set the text for a line.

Specified by:
setLine in interface DocInterface
Parameters:
tag - The new line value
s - The new line value
Returns:
Success.

addLine

public boolean addLine(TagLine tag,
                       java.lang.String s)
Insert a line of text before the TagLine.

Specified by:
addLine in interface DocInterface
Parameters:
tag - The object added.
s - The object added.
Returns:
Success.

deleteLine

public boolean deleteLine(TagLine tag)
Delete a line.

Specified by:
deleteLine in interface DocInterface
Parameters:
tag - No description provided
Returns:
Success.

getDocument

public javax.swing.text.Document getDocument()
Copies the content of this doc into a swing-Document.

Specified by:
getDocument in interface DocInterface
Returns:
The document value

setUntitled

public void setUntitled(int count)
Sets the untitled attribute of the DocMan object

Parameters:
count - The new untitled value

setTitles

public void setTitles()
Sets the titles attribute of the DocMan object


newFrame

public TextFrame newFrame(java.awt.Point point,
                          java.awt.Dimension size)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
point - No description provided
size - No description provided
Returns:
No description provided

closeFrame

public void closeFrame(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

doCloseFrame

public void doCloseFrame(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

newDoc

public void newDoc()
No comment provided by developer, please add a comment to improve documentation.


isBusy

public boolean isBusy()
Get the busy attribute of the DocMan object

Returns:
The busy value

isReadOnly

public boolean isReadOnly()
Get the readOnly attribute of the DocMan object

Returns:
The readOnly value

setReadOnly

public void setReadOnly(boolean aReadOnly)
Sets the readOnly attribute of the DocMan object

Parameters:
aReadOnly - The new readOnly value

anyFrame

public TextFrame anyFrame()
No comment provided by developer, please add a comment to improve documentation.

Returns:
No description provided

openDoc

public void openDoc(TextFrame textFrame,
                    java.lang.String filename)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided
filename - No description provided

filePrint

public void filePrint(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

fileSave

public boolean fileSave(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided
Returns:
No description provided

fileSaveAs

public void fileSaveAs(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

doSaveFile

private boolean doSaveFile(TextFrame textFrame,
                           boolean As)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided
As - No description provided
Returns:
No description provided

getFileForSave

private java.lang.String getFileForSave(TextFrame textFrame)
Get the fileForSave attribute of the DocMan object

Parameters:
textFrame - No description provided
Returns:
The fileForSave value

read

public void read(TextFrame textFrame,
                 java.lang.String filename)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided
filename - No description provided

write

public void write(TextFrame textFrame,
                  java.io.File file)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided
file - No description provided

clear_undo

public void clear_undo()
No comment provided by developer, please add a comment to improve documentation.


scan

public void scan()
No comment provided by developer, please add a comment to improve documentation.


extendHilite

public void extendHilite(int highest)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
highest - No description provided

getHilite

public Hilite getHilite()
Get the hilite attribute of the DocMan object

Returns:
The hilite value

getTextColor

public java.awt.Color getTextColor()
Get the textColor attribute of the DocMan object

Returns:
The textColor value

getTextXColor

public java.awt.Color getTextXColor()
Get the textXColor attribute of the DocMan object

Returns:
The textXColor value

getCommentColor

public java.awt.Color getCommentColor()
Get the commentColor attribute of the DocMan object

Returns:
The commentColor value

getCommentXColor

public java.awt.Color getCommentXColor()
Get the commentXColor attribute of the DocMan object

Returns:
The commentXColor value

getKeywordColor

public java.awt.Color getKeywordColor()
Get the keywordColor attribute of the DocMan object

Returns:
The keywordColor value

getKeywordXColor

public java.awt.Color getKeywordXColor()
Get the keywordXColor attribute of the DocMan object

Returns:
The keywordXColor value

getQuoteColor

public java.awt.Color getQuoteColor()
Get the quoteColor attribute of the DocMan object

Returns:
The quoteColor value

getQuoteXColor

public java.awt.Color getQuoteXColor()
Get the quoteXColor attribute of the DocMan object

Returns:
The quoteXColor value

getHideColor

public java.awt.Color getHideColor()
Get the hideColor attribute of the DocMan object

Returns:
The hideColor value

getHideXColor

public java.awt.Color getHideXColor()
Get the hideXColor attribute of the DocMan object

Returns:
The hideXColor value

updateFrames

public void updateFrames(int first,
                         int last)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
first - No description provided
last - No description provided

legalizeCursors

private void legalizeCursors()
No comment provided by developer, please add a comment to improve documentation.


getHighest

private int getHighest()
Get the highest attribute of the DocMan object

Returns:
The highest value

getProperty

public java.lang.String getProperty(java.lang.String p)
Get the property attribute of the DocMan object

Parameters:
p - No description provided
Returns:
The property value

setProperty

public void setProperty(java.lang.String p,
                        java.lang.String v)
Sets the property attribute of the DocMan object

Parameters:
p - The new property value
v - The new property value

setProperties

public void setProperties(java.util.Properties p)
Sets the properties attribute of the DocMan object

Parameters:
p - The new properties value

splitProperties

public void splitProperties()
No comment provided by developer, please add a comment to improve documentation.


updateProperties

public void updateProperties(boolean global)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
global - No description provided

applyProperties

public void applyProperties()
No comment provided by developer, please add a comment to improve documentation.


getFontStyle

public java.lang.String getFontStyle()
Get the fontStyle attribute of the DocMan object

Returns:
The fontStyle value

setFontStyle

public void setFontStyle(java.lang.String style)
Sets the fontStyle attribute of the DocMan object

Parameters:
style - The new fontStyle value

getFont

public java.awt.Font getFont()
Get the font attribute of the DocMan object

Returns:
The font value

getTabSize

public int getTabSize()
Get the tabSize attribute of the DocMan object

Returns:
The tabSize value

getHideLevel

public int getHideLevel()
Get the hideLevel attribute of the DocMan object

Returns:
The hideLevel value

getLine

public java.lang.String getLine(int i)
Get the line attribute of the DocMan object

Parameters:
i - No description provided
Returns:
The line value

getLineInfo

public LineInfo getLineInfo(int i)
Get the lineInfo attribute of the DocMan object

Parameters:
i - No description provided
Returns:
The lineInfo value

addTextMenu

public void addTextMenu(TextMenu e)
Access method for an one to n association.

Parameters:
e - The object added.

updateUndoItems

public void updateUndoItems(boolean un,
                            boolean re)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
un - No description provided
re - No description provided

updateMenus

private void updateMenus()
No comment provided by developer, please add a comment to improve documentation.


undo

public void undo(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

redo

public void redo(TextFrame textFrame)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
textFrame - No description provided

insert_char

public void insert_char(int line,
                        int column,
                        char c)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided
c - No description provided

delete_char

public void delete_char(int line,
                        int column)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided

remember_line

private void remember_line(int line,
                           int column,
                           java.lang.String s)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided
s - No description provided

redo_line

private void redo_line(JournalItem i)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
i - No description provided

split_line

public void split_line(int line,
                       int column)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided

join_line

public void join_line(int line,
                      int column)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided

split_or_join

public void split_or_join(JournalItem i,
                          boolean join)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
i - No description provided
join - No description provided

insert_section

public TextPosition insert_section(int line,
                                   int column,
                                   java.lang.String s,
                                   boolean update)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided
s - No description provided
update - No description provided
Returns:
No description provided

insert

public TextPosition insert(JournalItem i)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
i - No description provided
Returns:
No description provided

delete_section

public java.lang.String delete_section(int line,
                                       int column,
                                       int eline,
                                       int ecolumn,
                                       boolean cut)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided
eline - No description provided
ecolumn - No description provided
cut - No description provided
Returns:
No description provided

copy_or_cut

private java.lang.String copy_or_cut(JournalItem i,
                                     boolean cut)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
i - No description provided
cut - No description provided
Returns:
No description provided

delete_line

public java.lang.String delete_line(int line)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
Returns:
No description provided

clear_line

public java.lang.String clear_line(int line)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
Returns:
No description provided

insert_line

public void insert_line(int after,
                        java.lang.String txt)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
after - No description provided
txt - No description provided

internal_swap_lines

private void internal_swap_lines(int first,
                                 int second)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
first - No description provided
second - No description provided

swap_lines

public void swap_lines(int first,
                       int second)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
first - No description provided
second - No description provided