Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Changes to properties not shown #110
Editing the properties' values and clicking on "Save Changes" does not change the values displayed in the properties tab even though the source is updated.
The view in the "Properties" tab is exactly the same even after restarting Virtuoso and deleting the browser chache.