Overview
The Query Editor allow the user to write scripts in SQL.
On this page:
Edit Actions
The "Edit" manages text manipulation within a Query. Users can undo and redo actions, cut, copy, paste, and delete text. It also includes commands for incremental search, selecting all content, and checking if a document is read-only.
Action | Description |
Undo | Reverts the last action taken. |
Redo | Reapplies the last undone action. |
Cut | Removes the selected content and places it on the clipboard. |
Cut/Append | Cuts the selected content and appends it to existing clipboard content. |
Copy | Copies the selected content to the clipboard. |
Copy/Append | Copies the selected content and appends it to existing clipboard content. |
Paste | Inserts content from the clipboard. |
Delete | Removes the selected content without copying it to the clipboard. |
Find (Ctrl+F) | Opens a search dialog to locate text. |
Find Next (F3) | Finds the next occurrence of the last searched text. |
Incremental Search | Searches as the user types, updating results incrementally. |
Select All | Highlights the entire document content. |
Insert Example | Inserts a predefined example or template. |
Is Document Read-only | Checks if the document is in a read-only state. |
View Options
The "View” allows users to customize the visibility of various interface elements. Users can toggle the visibility of margins, line numbers, word wrap, whitespace, and different types of highlighting. These options enhance the user's control over the document's visual presentation.
Option | Description |
Indicator Margin Visible | Toggles the visibility of the indicator margin. |
Line Number Margin Visible | Shows or hides the line number margin. |
Outlining Margin Visible | Controls the visibility of the outlining margin. |
Ruler Margin Visible | Toggles the visibility of the horizontal ruler margin. |
Selection Margin Visible | Shows or hides the selection margin. |
Word Wrap | Enables or disables word wrapping. |
Word Wrap Glyphs Visible | Toggles the visibility of glyphs indicating wrapped lines. |
Whitespace Visible | Shows or hides whitespace characters like spaces and tabs. |
Can Scroll Past Document End | Allows or disallows scrolling beyond the end of the document. |
Virtual Space at Line End | Enables positioning the cursor in virtual space beyond the line end. |
Indentation Guides Visible | Toggles the visibility of vertical guides indicating indentation levels. |
Line Modification Marks Visible | Shows or hides markers for lines modified since the last save. |
Current Line Highlighting Enabled | Highlights the line where the cursor is currently located. |
Delimiter Highlighting Enabled | Highlights matching delimiters, such as brackets or parentheses. |
Search Result Highlighting Enabled | Highlights search results within the document. |
Auto-Correct Enabled | Enables or disables automatic spelling or grammar correction. |
Toggle Token Info in Status Bar | Toggles the display of token information in the status bar. |
Advanced Options
The "Advanced" provides tools for formatting and text editing. Users can convert tabs to spaces, change character casing, and manage whitespace. It also includes commands for tabifying lines, deleting blank lines, and trimming trailing whitespace, enabling precise text adjustments within the document.
Option | Description |
Convert Tabs to Spaces | Converts tab characters to spaces in the selected text. |
Convert Spaces to Tabs | Converts spaces to tab characters in the selected text. |
Tabify Selected Lines | Replaces leading spaces with tabs in selected lines. |
Untabify Selected Lines | Replaces leading tabs with spaces in selected lines. |
Make Uppercase | Converts the selected text to uppercase. |
Make Lowercase | Converts the selected text to lowercase. |
Toggle Character Casing | Switches the case of the selected text between uppercase and lowercase. |
Capitalize | Capitalizes the first character of each word in the selected text. |
Delete Horizontal Whitespace | Removes spaces and tabs on a line without affecting content. |
Trim All Trailing Whitespace | Removes trailing spaces and tabs from all lines in the document. |
Trim Trailing Whitespace | Removes trailing spaces and tabs from the selected lines. |
Delete Blank Lines | Removes all blank lines in the selected text or document. |
In this section...