History log of /seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/Graph_Widget.py
Revision Date Author Comments
# 3ce1f977 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remote blank lines at end of file


# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 47512793 06-Feb-2017 Prema Thasarathan, Shanush (Data61, Kensington NSW) <Shanush.Premathasarathan@data61.csiro.au>

Redone concatenations using "foo %s" % bar

During the code review for the insertion of visualCAmkES into the next branch
I was adviced to change the string concatenations from "foo" + "bar" to "foo %s" % bar.
This commit makes this change across the visualCAmkES code.

JIRA: CAMKES-490


# e0dcae3a 06-May-2016 Shanush <shanushau@yahoo.com.au>

Opening properties requires double click. Prevents accidental click.
JIRA CAMKES-477


# cc7c5d35 08-Apr-2016 Shanush <shanushau@yahoo.com.au>

Created property widgets and associated integration logic

This commit addresss the issue: JIRA CAMKES-477
Property widgets are made for instance and connections
Graph_widget will open the appropriate property widget when a widget is clicked
Property widgets are "dock widgets" in QT terminology


# 025171fc 06-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Finding quoted names.
Special characters like _ are dealt in graphviz by putting quotes around
the name. So if a node couldn't be found, a check is done to see if the name
was quoted.


# daf3d794 06-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Removed unnecessary prints


# 402dac5f 06-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Preparing for camkes-tools next branch merge