One small remark: in an AMS class, the drop-down list becomes quite
cluttered. Possibly, it will be possible to customize (reduce) it by editing
a proper configuration file.
But what about 2 or more drop-down lists: one for sectioning, one for
theorems, or text styles... Just an idea.
Yes, this is a problem. 1.6 will address it in a few ways: (i) the
theorem modules are split up a bit; there's one for "basic" stuff and
one for "extra" stuff, so at least there are fewer; (ii) Stefan
Schimanski has just implemented a "search by typing" feature, so if you
type "sub", you just see the ones starting with "sub"; (iii) he and I
are working on introducing "categories" of layouts, which may make
something like your second suggestion posible.
rh
