(gui) Implements detection of changes on instances ports lists
(gui) Correctly reset unspecified properties between 2 refresh()