| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Jun 21 13:50:57 EDT 2004 |
|
At Sun, 20 Jun 2004 13:46:16 -0400, "Psy-Kosh" wrote: > Is it possible to control the location of the viewport in any way? > And is there any way to determine if the user closed a viewport? No. The features you want are available in the underlying MrEd API. Viewports are intended as a simplification of that API, so they leave a lot out (but probably there should be a better bridge between the two views). Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}