Wed, 06 Sep 2017 13:45:58 +0200 |
reformat package isac.gui.mawen.editor
|
file | diff | annotate |
Wed, 06 Sep 2017 13:15:47 +0200 |
fire NotifyBraille on changeing the Box and Editing values
|
file | diff | annotate |
Thu, 06 Jul 2017 14:15:34 +0200 |
delete -> Appl(Cursor, GAP) instead of GAP
|
file | diff | annotate |
Thu, 06 Jul 2017 09:49:13 +0200 |
fix spacing problems with frac in frac
|
file | diff | annotate |
Thu, 29 Jun 2017 15:45:00 +0200 |
fix boxing problems with BinOp
|
file | diff | annotate |
Thu, 29 Jun 2017 14:06:23 +0200 |
merged
|
file | diff | annotate |
Thu, 29 Jun 2017 14:03:43 +0200 |
comments to editor classes
|
file | diff | annotate |
Thu, 29 Jun 2017 13:27:00 +0200 |
fix zooming problems
|
file | diff | annotate |
Wed, 28 Jun 2017 21:49:52 +0200 |
CalcUtil: Change Parameters to Boxes, change Box to DrawBax, Box is now abstract
|
file | diff | annotate |
Wed, 21 Jun 2017 14:38:37 +0200 |
boxing Asts and navigation with arrows
|
file | diff | annotate |
Wed, 24 May 2017 14:54:25 +0200 |
change Editor.properties names
|
file | diff | annotate |
Thu, 18 May 2017 10:19:39 +0200 |
Settings.scala get its initial data from property file Editor.properties
|
file | diff | annotate |