Searched refs:setViewableSize (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DSizeEvent.java29 void setViewableSize(List size) method in class:SizeEvent
H A DCreateEvent.java62 void setViewableSize(List size) method in class:CreateEvent
H A DVisClient.java691 ((CreateEvent) visEvent).setViewableSize((List) sizeResult.argCT(2).arg(2));
697 ((SizeEvent) visEvent).setViewableSize((List) sizeResult.argCT(2).arg(2));

Completed in 36 milliseconds