dexed/docs/widgets_terminal.md

title
Widgets - Terminal

{% raw %}

{% endraw %}

{% include xstyle.css %}

Todo list

Description

The Terminal widget is a terminal emulator integrated in the IDE. It's only available for the linux version.

The terminal requires libvte to be setup. This library should be available by default in the package manager of most mainstream distribution, especially those using a GNOME desktop, since libvte is often used by the system terminal emulator of these distributions.

For now it's mostly usable with hardcoded shortcuts: and the mouse is only used to set the focus or select text (SHIFT+LeftMB to set the selection start and a second time to set the end). Commonly used keys are:

• HOME, END, CTRL+￩, CTRL+￫: navigation.
• CTRL+INS, CTRL+SHIFT+INS: copy, paste.
• ￪, ￬: commands history.

Options

• backgroundColor: The background color.
• followEditors: When checked the current directory is automatically set to the folder containing a document when it gains the focus.
• followProjects: When checked the current directory is automatically set to the folder containing a project when it gains the focus.
• font: Allows to customize the font name and its size. The color is not handled here.
• foregroundColor: The font color.
• scrollbackLines: The max count of previous lines that are stored.
• selectedColor: The bacground when some text is selected. Selected text color is then simply inverted.

{% raw %}

{% endraw %}