Commit [b96556]  Maximize  Restore  History

Revert keyboard UI translation to the legacy algorithm

Attempt to split the legacy algorithm into classes to simplify code
failed.
This is a temporary fix intended to be reworked later.

Thomas Muller Thomas Muller 2014-02-14

Laurent Voisin Laurent Voisin 2014-02-20

changed org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/RodinModifyListener.java
changed org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/translators/AbstractRodinKeyboardTranslator.java
added org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/translators/LegacyRodinKeyboardTranslator.java
org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/RodinModifyListener.java Diff Switch to side-by-side view
Loading...
org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/translators/AbstractRodinKeyboardTranslator.java Diff Switch to side-by-side view
Loading...
org.rodinp.keyboard.ui/src/org/rodinp/internal/keyboard/ui/translators/LegacyRodinKeyboardTranslator.java Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks