History log of /seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/Instance_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


# f28539e3 20-May-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Fixed style, removed unnecessary methods


# 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


# d2291ba3 14-Apr-2016 Shanush <shanushau@yahoo.com.au>

Choose nice blue and green colors for control and hardware instances respectively.


# 5fb9f62d 03-Apr-2016 Shanush <shanushau@yahoo.com.au>

Fixed drawing bug. Needed to change bounding rect to include border.


# 3a6917e7 31-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Attempted to draw borders more cheaply


# 6e3fecfd 31-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Border for hardware


# 9416f7f9 31-Mar-2016 Shanush <shanushau@yahoo.com.au>

Added border around all control instances


# 4600001f 20-Mar-2016 Shanush Prema Thasarathan <ShanushPrema.Thasarathan@nicta.com.au>

Refactored edge drawing. Found some hidden bugs in the process. Attempted to draw edges when widgets overlap,
not ideal but its semi-ok. Essentially draw from centre to centre instead of edge to edge when overlapping.
Also made some documentation changes.


# 21705da8 09-Mar-2016 Shanush <shanushau@yahoo.com.au>

Removed all references to Component Window


# 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