jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Brought to you by: reynal, vincentb1

Commit [r202] Maximize Restore History

Split SelectionHandler off from EditorKit

Authored by: reynal 2003-09-23

Browse code at this revision

Parent: [r201]

Child: [r203]

added

/trunk/jpicedt/jpicedt/jpicedt/graphic/toolkit/DefaultSelectionHandler.java

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