[RFC] Queries and frontends

[Tom Tromey]

>>>>> "Nick" == Nick Roberts <nickrob@snap.net.nz> writes:

Nick> I don't quite follow.  AFAIK defaulted_query knows nothing about
Nick> server_command.

Yes, but it could.

Since "server" is intended to hide commands from the user, why check
server_command at one particular query rather than in every query?

Nick> Hui has suggested adding a special command but I don't understand how his
Nick> proposed "maintenance print target-stack" relates to queries.

Me neither.

Tom