Improve marker generation and handling
Showing
- plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/Checker.java 25 additions, 13 deletions.../polarsys/chess/checkers/core/checkerManager/Checker.java
- plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/CheckerManager.java 21 additions, 6 deletions...ys/chess/checkers/core/checkerManager/CheckerManager.java
- plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/NameDistance.java 3 additions, 2 deletions...c/org/polarsys/chess/checkers/core/impl/NameDistance.java
- plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/StateStatus.java 5 additions, 4 deletions...rc/org/polarsys/chess/checkers/core/impl/StateStatus.java
- plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/gui/utils/ReportProblemsUtil.java 15 additions, 9 deletions.../polarsys/chess/service/gui/utils/ReportProblemsUtil.java
Loading
Please register or sign in to comment