topaLE
/
wetty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Completed configuration GUI; Copied default options from XTerm

pull/342/head
Christian7573 4 years ago
parent
f435cbf222
commit
850878e276
7 changed files with 681 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 107
      src/assets/xterm_config/functionality.js
  2. 74
      src/assets/xterm_config/index.html
  3. 61
      src/assets/xterm_config/style.css
  4. 126
      src/assets/xterm_config/xterm_advanced_options.js
  5. 141
      src/assets/xterm_config/xterm_color_theme.js
  6. 68
      src/assets/xterm_config/xterm_defaults.js
  7. 104
      src/assets/xterm_config/xterm_general_options.js

107
src/assets/xterm_config/functionality.js
View File

@ -0,0 +1,107 @@
function optionGenericGet() { return this.el.querySelector("input").value; }
function optionGenericSet(value) { this.el.querySelector("input").value = value; }
function optionEnumGet() { return this.el.querySelector("select").value; }
function optionEnumSet(value) { this.el.querySelector("select").value = value; }
const allOptions = [];
function inflateOptions(optionsSchema) {
const booleanOption = document.querySelector("#boolean_option.templ");
const enumOption = document.querySelector("#enum_option.templ");
const textOption = document.querySelector("#text_option.templ");
const numberOption = document.querySelector("#number_option.templ");
const colorOption = document.querySelector("#color_option.templ");
function copyOver(element) {
while (element.children.length > 0) document.body.append(element.children[0]);
}
optionsSchema.forEach(option => {
let el;
option.get = optionGenericGet.bind(option);
option.set = optionGenericSet.bind(option);
switch (option.type) {
case "boolean":
el = booleanOption.cloneNode(true);
break;
case "enum":
el = enumOption.cloneNode(true);
option.enum.forEach(varriant => {
const optionEl = document.createElement("option");
optionEl.innerText = varriant;
optionEl.value = varriant;
el.querySelector("select").appendChild(optionEl);
});
option.get = optionEnumGet.bind(option);
option.set = optionEnumSet.bind(option);
break;
case "text":
el = textOption.cloneNode(true);
break;
case "number":
el = numberOption.cloneNode(true);
break;
case "color":
el = colorOption.cloneNode(true);
break;
default:
throw new Error(`Unknown option type ${ option.type}`);
}
el.querySelector(".title").innerText = option.name;
el.querySelector(".desc").innerText = option.description;
[ option.el ] = el.children;
copyOver(el);
allOptions.push(option);
});
}
function getItem(json, path) {
const mypath = path[0];
if (path.length === 1) return json[mypath];
if (json[mypath] != null) return getItem(json[mypath], path.slice(1));
return null;
}
function setItem(json, path, item) {
const mypath = path[0];
if (path.length === 1) json[mypath] = item;
else {
if (json[mypath] == null) json[mypath] = {};
setItem(json[mypath], path.slice(1), item);
}
}
window.load_options = function(config) {
allOptions.forEach(option => {
let value = getItem(config, option.path);
if (option.nullable === true && option.type === "text" && value == null) value = null;
else if (option.nullable === true && option.type === "number" && value == null) value = -1;
else if (value == null) return;
if (option.json === true && option.type === "text") value = JSON.stringify(value);
option.set(value);
option.el.classList.remove("unbounded");
});
}
if (window.top !== window) alert("Error: Page is top level. This page is supposed to be accessed from inside Wetty.");
document.querySelector("#save_button").addEventListener("click", () => {
const newConfig = {};
allOptions.forEach(option => {
let newValue = option.get();
if (option.nullable === true && option.type === "text" && newValue === "") newValue = null;
else if (option.nullable === true && option.type === "number" && newValue < 0) newValue = null;
if (option.json === true && option.type === "text") newValue = JSON.parse(newValue);
setItem(newConfig, option.path, newValue);
});
window.wetty_apply_config(newConfig);
window.wetty_close_config();
});
document.querySelector("#cancel_button").addEventListener("click", () => {
window.wetty_close_config();
});

74
src/assets/xterm_config/index.html
View File

@ -0,0 +1,74 @@
<!DOCTYPE HTML>
<html>
<head>
<title>Wetty XTerm Configuration</title>
<link rel="stylesheet" href="./style.css" />
</head>
<body>
<header>
<h1>Configure</h1>
<div style="flex-grow: 1000"></div>
<button id="save_button">Save</button>
<button id="cancel_button">Cancel</button>
</header>
<div class="templ" id="boolean_option">
<div class="boolean_option unbounded">
<p>
<b class="title"></b><br>
<span class="desc"></span>
</p>
<input type="checkbox" />
</div>
</div>
<div class="templ" id="enum_option">
<div class="enum_option unbounded">
<p>
<b class="title"></b><br>
<span class="desc"></span>
</p>
<select></select>
</div>
</div>
<div class="templ" id="text_option">
<div class="text_option unbounded">
<p>
<b class="title"></b><br>
<span class="desc"></span>
</p>
<input type="text" />
</div>
<div class="error_reporting"></div>
</div>
<div class="templ" id="number_option">
<div class="number_option unbounded">
<p>
<b class="title"></b><br>
<span class="desc"></span>
</p>
<input type="number" size="10" step="0.01" />
</div>
<div class="error_reporting"></div>
</div>
<div class="templ" id="color_option">
<div class="color_option unbounded">
<p>
<b class="title"></b><br>
<span class="desc"></span>
</p>
<input type="color" />
</div>
</div>
<script src="./functionality.js"></script>
<h2>General Options</h2>
<script src="./xterm_general_options.js"></script>
<h2>Color Theme</h2>
<script src="./xterm_color_theme.js"></script>
<h2>Advanced XTerm Options</h2>
<script src="./xterm_advanced_options.js"></script>
<script src="./xterm_defaults.js"></script>
</body>
</html>

61
src/assets/xterm_config/style.css
View File

@ -0,0 +1,61 @@
html { background-color: black; }
body {
display: flex;
flex-flow: column nowrap;
font-family: monospace;
font-size: 1.2rem;
color: white;
}
body>* {
margin-bottom: 1em;
}
.templ { display: none; }
h2 { text-align: center; text-decoration: underline; }
header {
display: flex;
flex-flow: row nowrap;
align-items: center;
}
header button {
padding: 0.5em;
font-size: 1em;
margin: 0.5em;
border-radius: 0.5em;
collapse-margin;
}
.boolean_option, .number_option, .color_option, .enum_option, .text_option {
display: grid;
grid-template-columns: 100fr min(30em, 50%);
grid-template-rows: auto;
align-items: center;
}
.boolean_option input, .number_option input, .color_option input, .text_option input, .enum_option select {
margin: 0.5em;
font-size: 1em;
background-color: hsl(0,0%,20%);
color: white;
border: 2px solid white;
}
.number_option input, .text_option input, .enum_option select {
padding: 0.4em;
}
.boolean_option input {
width: 2em;
height: 2em;
font-size: 0.75em;
justify-self: center;
}
.color_option input {
width: 100%;
height: 100%;
background-color: lightgray;
}
.unbounded .title::before {
content: "UNBOUND OPTION ";
color: red;
font-weight: bold;
}

126
src/assets/xterm_config/xterm_advanced_options.js
View File

@ -0,0 +1,126 @@
window.inflate_options([
{
type: "boolean",
name: "Allow Proposed XTerm APIs",
description: "When set to false, any experimental/proposed APIs will throw errors.",
path: ["allowProposedApi"],
},
{
type: "boolean",
name: "Allow Transparent Background",
description: "Whether the background is allowed to be a non-opaque color.",
path: ["allowTransparentBackground"],
},
{
type: "boolean",
name: "Alt-Click To Move Cursor",
description: "If enabled, alt + click will move the prompt cursor to the position underneath the mouse.",
path: ["altClickMovesCursor"],
},
{
type: "text",
name: "Bell Sound URI",
description: "URI for a custom bell character sound.",
path: ["bellSound"],
nullable: true,
},
{
type: "enum",
name: "Bell Style",
description: "How the terminal will react to the bell character",
path: ["bellStyle"],
enum: ["none", "sound"],
},
{
type: "boolean",
name: "Force End-Of-Line",
description: "When enabled, any new-line characters (\\n) will be interpreted as carriage-return new-line. (\\r\\n) Typically this is done by the shell program.",
path: ["convertEol"],
},
{
type: "boolean",
name: "Disable Stdin",
description: "Whether input should be disabled",
path: ["disableStdin"],
},
{
type: "number",
name: "Letter Spacing",
description: "The spacing in whole pixels between characters.",
path: ["letterSpacing"],
},
{
type: "number",
name: "Line Height",
description: "Line height, multiplied by the font size to get the height of terminal rows.",
path: ["lineHeight"],
},
{
type: "enum",
name: "XTerm Log Level",
description: "Log level for the XTerm library.",
path: ["logLevel"],
enum: ["debug", "info", "warn", "error", "off"],
},
{
type: "boolean",
name: "Macintosh Option Key as Meta Key",
description: "When enabled, the Option key on Macs will be interpreted as the Meta key.",
path: ["macOptionIsMeta"],
},
{
type: "boolean",
name: "Macintosh Option Click Forces Selection",
description: "Whether holding a modifier key will force normal selection behavior, regardless of whether the terminal is in mouse events mode. This will also prevent mouse events from being emitted by the terminal. For example, this allows you to use xterm.js' regular selection inside tmux with mouse mode enabled.",
path: ["macOptionClickForcesSelection"],
},
{
type: "number",
name: "Forced Contrast Ratio",
description: "Miminum contrast ratio for terminal text. This will alter the foreground color dynamically to ensure the ratio is met. Goes from 1 (do nothing) to 21 (strict black and white).",
path: ["minimumContrastRatio"],
},
{
type: "enum",
name: "Renderer Type",
description: "The terminal renderer to use. Canvas is preferred, but a DOM renderer is also available. Note: Letter spacing and cursor blink do not work in the DOM renderer.",
path: ["rendererType"],
enum: ["canvas", "dom"],
},
{
type: "boolean",
name: "Right Click Selects Words",
description: "Whether to select the word under the cursor on right click.",
path: ["rightClickSelectsWord"],
},
{
type: "boolean",
name: "Screen Reader Support",
description: "Whether screen reader support is enabled. When on this will expose supporting elements in the DOM to support NVDA on Windows and VoiceOver on macOS.",
path: ["screenReaderMode"],
},
{
type: "number",
name: "Tab Stop Width",
description: "The size of tab stops in the terminal.",
path: ["tabStopWidth"],
},
{
type: "boolean",
name: "Windows Mode",
description: "\"Whether 'Windows mode' is enabled. Because Windows backends winpty and conpty operate by doing line wrapping on their side, xterm.js does not have access to wrapped lines. When Windows mode is enabled the following changes will be in effect:\n- Reflow is disabled.\n- Lines are assumed to be wrapped if the last character of the line is not whitespace.",
path: ["windowsMode"],
},
{
type: "text",
name: "Word Separator",
description: "All characters considered word separators. Used for double-click to select word logic. Encoded as JSON in this editor for editing convienience.",
path: ["wordSeparator"],
json: true,
}
]);

141
src/assets/xterm_config/xterm_color_theme.js
View File

@ -0,0 +1,141 @@
const selectionColorOption = {
type: "color",
name: "Selection Color",
description: "Background color for selected text. Can be transparent.",
path: ["theme", "selection"],
};
const selectionColorOpacityOption = {
type: "number",
name: "Selection Color Opacity",
description: "Opacity of the selection highlight. A value between 1 (fully opaque) and 0 (fully transparent).",
path: ["wetty_void"],
};
window.inflate_options([
{
type: "color",
name: "Foreground Color",
description: "The default foreground (text) color.",
path: ["theme", "foreground"],
},
{
type: "color",
name: "Background Color",
description: "The default background color.",
path: ["theme", "background"],
},
{
type: "color",
name: "Cursor Color",
description: "Color of the cursor.",
path: ["theme", "cursor"],
},
{
type: "color",
name: "Block Cursor Accent Color",
description: "The accent color of the cursor, used as the foreground color for block cursors.",
path: ["theme", "cursorAccent"],
},
selectionColorOption,
selectionColorOpacityOption,
{
type: "color",
name: "Black",
description: "Color for ANSI Black text.",
path: ["theme", "black"],
},
{
type: "color",
name: "Red",
description: "Color for ANSI Red text.",
path: ["theme", "red"],
},
{
type: "color",
name: "Green",
description: "Color for ANSI Green text.",
path: ["theme", "green"],
},
{
type: "color",
name: "Yellow",
description: "Color for ANSI Yellow text.",
path: ["theme", "yellow"],
},
{
type: "color",
name: "Blue",
description: "Color for ANSI Blue text.",
path: ["theme", "blue"],
},
{
type: "color",
name: "Magenta",
description: "Color for ANSI Magenta text.",
path: ["theme", "magenta"],
},
{
type: "color",
name: "Cyan",
description: "Color for ANSI Cyan text.",
path: ["theme", "cyan"],
},
{
type: "color",
name: "White",
description: "Color for ANSI White text.",
path: ["theme", "white"],
},
{
type: "color",
name: "Bright Black",
description: "Color for ANSI Bright Black text.",
path: ["theme", "brightBlack"],
},
{
type: "color",
name: "Bright Red",
description: "Color for ANSI Bright Red text.",
path: ["theme", "brightRed"],
},
{
type: "color",
name: "Bright Green",
description: "Color for ANSI Bright Green text.",
path: ["theme", "brightGreen"],
},
{
type: "color",
name: "Bright Yellow",
description: "Color for ANSI Bright Yellow text.",
path: ["theme", "brightYellow"],
},
{
type: "color",
name: "Bright Blue",
description: "Color for ANSI Bright Blue text.",
path: ["theme", "brightBlue"],
},
{
type: "color",
name: "Bright Magenta",
description: "Color for ANSI Bright Magenta text.",
path: ["theme", "brightMagenta"],
},
{
type: "color",
name: "Bright White",
description: "Color for ANSI Bright White text.",
path: ["theme", "brightWhite"],
}
]);
selectionColorOption.get = function() {
return this.el.querySelector("input").value + (selectionColorOpacityOption.el.querySelector("input").value * 255).toString(16);
};
selectionColorOption.set = function(value) {
this.el.querySelector("input").value = value.substring(0, 7);
selectionColorOpacityOption.el.querySelector("input").value = Math.round(parseInt(value.substring(7), 16) / 255 * 100) / 100;
};
selectionColorOpacityOption.get = function() { return 0; };
selectionColorOpacityOption.set = function() { return 0; };

68
src/assets/xterm_config/xterm_defaults.js
View File

@ -0,0 +1,68 @@
const DEFAULT_BELL_SOUND = 'data:audio/mp3;base64,SUQzBAAAAAAAI1RTU0UAAAAPAAADTGF2ZjU4LjMyLjEwNAAAAAAAAAAAAAAA//tQxAADB8AhSmxhIIEVCSiJrDCQBTcu3UrAIwUdkRgQbFAZC1CQEwTJ9mjRvBA4UOLD8nKVOWfh+UlK3z/177OXrfOdKl7pyn3Xf//WreyTRUoAWgBgkOAGbZHBgG1OF6zM82DWbZaUmMBptgQhGjsyYqc9ae9XFz280948NMBWInljyzsNRFLPWdnZGWrddDsjK1unuSrVN9jJsK8KuQtQCtMBjCEtImISdNKJOopIpBFpNSMbIHCSRpRR5iakjTiyzLhchUUBwCgyKiweBv/7UsQbg8isVNoMPMjAAAA0gAAABEVFGmgqK////9bP/6XCykxBTUUzLjEwMKqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq';
window.load_options({
wetty_fit_terminal: true,
wetty_void: 0,
cols: 80,
rows: 24,
cursorBlink: false,
cursorStyle: 'block',
cursorWidth: 1,
bellSound: DEFAULT_BELL_SOUND,
bellStyle: 'none',
drawBoldTextInBrightColors: true,
fastScrollModifier: 'alt',
fastScrollSensitivity: 5,
fontFamily: 'courier-new, courier, monospace',
fontSize: 15,
fontWeight: 'normal',
fontWeightBold: 'bold',
lineHeight: 1.0,
linkTooltipHoverDuration: 500,
letterSpacing: 0,
logLevel: 'info',
scrollback: 1000,
scrollSensitivity: 1,
screenReaderMode: false,
macOptionIsMeta: false,
macOptionClickForcesSelection: false,
minimumContrastRatio: 1,
disableStdin: false,
allowProposedApi: true,
allowTransparency: false,
tabStopWidth: 8,
rightClickSelectsWord: false,
rendererType: 'canvas',
windowOptions: {},
windowsMode: false,
wordSeparator: ' ()[]{}\',"`',
altClickMovesCursor: true,
convertEol: false,
termName: 'xterm',
cancelEvents: false,
theme: {
foreground: "#ffffff",
background: "#000000",
cursor: "#ffffff",
cursorAccent: "#000000",
selection: "#FFFFFF4D",
black: "#2e3436",
red: "#cc0000",
green: "#4e9a06",
yellow: "#c4a000",
blue: "#3465a4",
magenta: "#75507b",
cyan: "#06989a",
white: "#d3d7cf",
brightBlack: "#555753",
brightRed: "#ef2929",
brightGreen: "#8ae234",
brightYellow: "#fce94f",
brightBlue: "#729fcf",
brightMagenta: "#ad7fa8",
brightCyan: "#34e2e2",
brightWhite: "#eeeeec"
}
});

104
src/assets/xterm_config/xterm_general_options.js
View File

@ -0,0 +1,104 @@
window.inflate_options([
{
type: "text",
name: "Font Family",
description: "The font family for terminal text.",
path: ["fontFamily"],
},
{
type: "number",
name: "Font Size",
description: "The font size in CSS pixels for terminal text.",
path: ["fontSize"],
},
{
type: "enum",
name: "Regular Font Weight",
description: "The font weight for non-bold text.",
path: ["fontWeight"],
enum: ["normal", "bold", "100", "200", "300", "400", "500", "600", "700", "800", "900"],
},
{
type: "enum",
name: "Bold Font Weight",
description: "The font weight for bold text.",
path: ["fontWeightBold"],
enum: ["normal", "bold", "100", "200", "300", "400", "500", "600", "700", "800", "900"],
},
{
type: "boolean",
name: "Fit Terminal",
description: "Automatically fits the terminal to the page, overriding terminal columns and rows.",
path: ["wetty_fit_terminal"],
},
{
type: "number",
name: "Terminal Columns",
description: "The number of columns in the terminal. Overridden by the Fit Terminal option.",
path: ["cols"],
nullable: true,
},
{
type: "number",
name: "Terminal Rows",
description: "The number of rows in the terminal. Overridden by the Fit Terminal option.",
path: ["rows"],
nullable: true,
},
{
type: "enum",
name: "Cursor Style",
description: "The style of the cursor",
path: ["cursorStyle"],
enum: ["block", "underline", "bar"],
},
{
type: "boolean",
name: "Blinking Cursor",
description: "Whether the cursor blinks",
path: ["cursorBlink"],
},
{
type: "number",
name: "Bar Cursor Width",
description: "The width of the cursor in CSS pixels. Only applies when Cursor Style is set to 'bar'.",
path: ["cursorWidth"],
},
{
type: "boolean",
name: "Draw Bold Text In Bright Colors",
description: "Whether to draw bold text in bright colors",
path: ["drawBoldTextInBrightColors"],
},
{
type: "number",
name: "Scroll Sensitivity",
description: "The scroll speed multiplier for regular scrolling.",
path: ["scrollSensitivity"],
},
{
type: "enum",
name: "Fast Scroll Key",
description: "The modifier key to hold to multiply scroll speed.",
path: ["fastScrollModifier"],
enum: ["none", "alt", "shift", "ctrl"],
},
{
type: "number",
name: "Fast Scroll Multiplier",
description: "The scroll speed multiplier used for fast scrolling.",
path: ["fastScrollSensitivity"],
},
{
type: "number",
name: "Scrollback Rows",
description: "The amount of scrollback rows, rows you can scroll up to after they leave the viewport, to keep.",
path: ["scrollback"],
},
{
type: "number",
name: "Tab Stop Width",
description: "The size of tab stops in the terminal.",
path: ["tabStopWidth"],
},
]);
Write Preview
Loading…
Cancel
Save