-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 10/06/11 13:31, Matthew Flatt wrote: > At Thu, 06 Oct 2011 12:40:18 +0200, Marijn wrote: >> - - The display (a grid in my case) should create an >> editor-admin% which in turn should have a field to refer back to >> its display. When an editor becomes available to the display, the >> display will notify the editor of the editor-admin% instance >> through which it should direct its requests. > > Yes.
I assume the notification will be done with set-admin method of editor<%>, but I just noticed that the docs say that "This method is only called by an administrator.", while above we agreed that the display should notify the editor. Are the docs wrong or should the display go through the administrator when notifying the editor of its administrator? Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk6NtgUACgkQp/VmCx0OL2y/fwCfXjc1gKy47Ia4l9a9FxpdBtZe V9AAn3ZX5qNoQaWog65IIh1va+qrhOtF =sIsK -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users