Window Tool Menu

Most windows in the terminal have a tools menu in the top right corner for quick access to settings related to functionality of the current window.

Common for all window menus:

  • Show Caption

  • Pin Window

  • Clone This Window

  • Add As Favorite

  • Share

  • Help

Below is an example of the tools menu from the Company window:

https://res.craft.do/user/full/ff469d6f-2b02-e96b-7f08-36ec5497afa2/doc/9d973237-9866-afd7-88f4-cbe016575663/69d44ba7-3758-414c-9c1b-8d282d6040cb

Show Caption

Deselect to remove the window frame. Press F12 or select from the menu to display it again.

Pin Window

You can now force a window to stay on the screen for all desktops. This is useful for windows that you always want to see - no matter which desktop you move to.

Clone This Window

Creates a duplicate of the current window.

Pro tip: Cloning a window will result in a window of the same size. While the window is selected, type to search for another instrument. This makes it easy to add a lot of information to your workspace quickly.

https://res.craft.do/user/full/ff469d6f-2b02-e96b-7f08-36ec5497afa2/doc/9d973237-9866-afd7-88f4-cbe016575663/6209a6b0-089d-46a4-9a0e-2ebb2efe01fe

Add as Favorite

Adds the window as a favorite. Favorites are available from the main menu, available on the very right.

https://res.craft.do/user/full/ff469d6f-2b02-e96b-7f08-36ec5497afa2/doc/9d973237-9866-afd7-88f4-cbe016575663/011d9bf6-6e70-4976-8ea1-8080e774fe02

Share

Share generates a link, e-mail or tweet which allows you to share the content of the window with other users. A screenshot of the window will be generated. Also, underneath the screenshot of the window, a link will be generated allowing any users of the terminal to open the same window in their installation of terminal.

Help

Opens the help documentation for this window.

Last updated