+-dgl menu file inclusion command: $INCLUDE(filename) or $INSERT(filename)
+ would insert the file at that position of the menu file.
+ would make easier to maintain banners, &c
+
+< Napkin> I'd suggest the default of DGL_MAILMSGLEN to be less
+< Napkin> there are 4 digits in front of the prompt, paxed. having
+ it at 80, will cause display errors if someone types more than 75 letters
+< Napkin> well, to be precise - not the writing - but deleting
+ will no longer work, because the cursor won't be moved to the previous
+ line again
+
-change the watching-menu paging back to pre-1.5.0 behaviour
(don't backtrack in the gamelist to keep the last page full)
-when exiting from watching a player, move the cursor to the last line