jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Brought to you by: reynal, vincentb1

Commit [r215] Maximize Restore History

Improved code efficiency.

Authored by: reynal 2003-09-25

Browse code at this revision

Parent: [r214]

Child: [r216]

changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/CustomizerDialog.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/DefaultSelectionHandler.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/DrawToolFactory.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/EditorKit.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/view/CompositeView.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/view/DefaultHighlighterFactory.java
changed	/trunk/jpicedt/jpicedt/jpicedt/graphic/view/DefaultViewFactory.java

/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/CustomizerDialog.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/DefaultSelectionHandler.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/DrawToolFactory.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/EditorKit.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/view/CompositeView.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/view/DefaultHighlighterFactory.java Diff Switch to side-by-side view

/trunk/jpicedt/jpicedt/jpicedt/graphic/view/DefaultViewFactory.java Diff Switch to side-by-side view