jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Brought to you by: reynal, vincentb1

Commit [r1734] Maximize Restore History

<2013-02-16> (BoardEventHandler.propertyChange) Mise à jour de l'état des actions possibles --- pour bug#44 "False content type after preference edit" lorsqu'on change de planche active.

Authored by: vincentb1 2013-02-16

Browse code at this revision

Parent: [r1733]

Child: [r1735]

changed

/trunk/jpicedt/jpicedt/jpicedt/ui/MDIManager.java

jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Commit [r1734] Maximize Restore History

/trunk/jpicedt/jpicedt/jpicedt/ui/MDIManager.java Diff Switch to side-by-side view