1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465 |
- deferred class IUP_WIDGET_POSITION
- inherit
- IUP_WIDGET_INTERNALS
-
- feature {ANY}
- set_position (x: INTEGER; y: INTEGER)
-
-
-
-
-
-
-
- require
- non_negative: x >= 0
- y >= 0
- local
- size: STRING
- do
- size := x.out
- size.append_string(",")
- size.append_string(y.out)
- iup_open.set_attribute(Current, "POSITION", size)
- end
- get_position: TUPLE[INTEGER, INTEGER]
-
-
-
-
- local
- position: STRING
- do
- position := iup_open.get_attribute(Current, "POSITION")
- Result := components_of_position(position)
- end
- end
|