I just noticed that with the build from svn 9906, the cyan box that should appear around the active environment is no longer being displayed. Is it a setting I can enable? What part of the source needs to be patched ot bring it back? It's one of TeXmacs best features and should NOT be removed!