fixed GUI bug
Merge https://github.com/simon0537090/JGraph