version 1.8, 1997/01/21 19:21:46
|
version 1.9, 1997/03/04 17:48:11
|
Line 103 ATTRIBUTES
|
Line 103 ATTRIBUTES
|
AttrModify.Post -> CoordsModified; |
AttrModify.Post -> CoordsModified; |
END; |
END; |
|
|
x_coord: |
x_coord: |
BEGIN |
BEGIN |
AttrModify.Post -> GraphicsModified; |
AttrModify.Post -> GraphicsModified; |
END; |
END; |
|
|
y_coord: |
y_coord: |
BEGIN |
BEGIN |
AttrModify.Post -> GraphicsModified; |
AttrModify.Post -> GraphicsModified; |
END; |
END; |
|
|
width\240: |
width\240: |
BEGIN |
BEGIN |
AttrModify.Post -> GraphicsModified; |
AttrModify.Post -> GraphicsModified; |
END; |
END; |
|
|
height\240: |
height\240: |
BEGIN |
BEGIN |
AttrModify.Post -> GraphicsModified; |
AttrModify.Post -> GraphicsModified; |
END; |
END; |