3.2 Advanced query editor features

To change the editor's font size, increase or decrease the relative font size from -5 to +5 in the editor's context menu (right mouse click in the editor, item relative font size in the context menu):

Please click to enlarge!

Figure: Changing the editor's font size

To comment or uncomment lines in the query text, just mark the corresponding text area. Afterwards select the Insert within selected area or Remove within selected area option in the Comments menu of the context menu, respectively:

Please click to enlarge!

Figure: (Un)commenting query text

If you want to include a corpus query into an electronic document, you can use the Copy item of the Edit menu. However, the syntax highlighting of the query will be ignored. For this purpose we have implemented the Copy colored query feature in the Edit menu. You can copy the colored query text as an HTML or LaTeX fragment. Afterwards you can paste the clipboard content into your HTML or LaTeX editor.