Setting file format

Terminal 7 stores it's setting in a toml formatted configuration file. The file is stored in local storage and created based on a default of first run. All values describing durations are in milliseconds.

To edit the settings you need to click the ⚙️ button and then use visual mode default key bondings to edit the file. Once finished you can save & exit by clicking the 💾 or :w.

Sections

theme

Setting the theme for the terminal emulator. For now, it does not change the colors of Terminal 7 frames and elements.

• foreground: foreground color, default "#00FAFA"
• background: background color, default "#000"
• selection: selection color, default "#D9F505"
• more

indicators

• flash: how long the indicators stay lit, in milliseconds, default 100

exec

• shell: the shell to run, default is bash

net

• timeout: how long to wait for a control message ack, default 3000
• retries: control message max retries, default 3
• ice_server: the url of the ice_server to use
• peerbook: PeerBook's hostname, defaults to "api.peerbook.io"

ui

• quickest_press: how long does the user need to touch to make it a press, default 1000
• max_tabs: till we add #106 the number of tabs is limited, default 3
• cut_min_distance: what's the shortest cut, in pixels, default 80
• cut_min_speed: what's the minimum speed for a cut gesture, default 2.5
• pinch_max_y_velocity: used to prevent two fingers scrolling from pinching, default 0.1

peerbook

• email: the user's email
• peer_name: optional, name of the peer