bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3
MIT License
9 stars 1 forks source link

use mvvm pattern in ui #87

Closed wysiib closed 7 years ago

wysiib commented 7 years ago

The ui has been extended everywhere and I feel like AppController is becoming increasingly difficult to handle. I think we should restructure / refactor and use the MVVM pattern.

There is a library that seems easy to use: https://github.com/sialcasa/mvvmFX

As a side effect, this should allow for easier testing of the ui classes.