// Copyright 2024, Command Line Inc. // SPDX-License-Identifier: Apache-2.0 import { MagnifyIcon } from "@/app/element/magnify"; import { PLATFORM } from "@/app/store/global"; import "./quicktips.less"; const KeyBinding = ({ keyDecl }: { keyDecl: string }) => { const parts = keyDecl.split(":"); const elems: React.ReactNode[] = []; for (let part of parts) { if (part === "Cmd") { if (PLATFORM === "darwin") { elems.push(
⌘ Cmd
); } else { elems.push(
Alt
); } continue; } if (part == "Ctrl") { elems.push(
^ Ctrl
); continue; } if (part == "Shift") { elems.push(
⇧ Shift
); continue; } if (part == "Arrows") { elems.push(
); elems.push(
); elems.push(
); elems.push(
); continue; } if (part == "Digit") { elems.push(
Number (1-9)
); continue; } elems.push(
{part.toUpperCase()}
); } return
{elems}
; }; const QuickTips = () => { return (
Header Icons
Connect to a remote server
Magnify a Block
Block Settings
Close Block
Important Keybindings
New Tab
New Terminal Block
Navigate Between Blocks
Focus Nth Block
Switch To Nth Tab
wsh commands
wsh view [filename|url]
Run this command in the terminal to preview a file, directory, or web URL.
Need More Help?
); }; export { KeyBinding, QuickTips };