These predicates help debugging the server side. show_mirror/0
displays the text the server thinks is in the client editor. The
predicate server_tokens/1 dumps the token list.
Arguments:
Role
- is one of source or query, expressing the role of
the editor in the SWISH UI.