From 13be0b210eec72480d6345d2053cd073984a0876 Mon Sep 17 00:00:00 2001 From: David Evans Date: Sun, 6 May 2018 00:54:13 +0100 Subject: [PATCH] Add new markdown styles to library [#54] --- web/lib/editor.js | 20 ++++++++++++++++++++ web/lib/editor.min.js | 2 +- web/scripts/interface/ComponentsLibrary.mjs | 20 ++++++++++++++++++++ 3 files changed, 41 insertions(+), 1 deletion(-) diff --git a/web/lib/editor.js b/web/lib/editor.js index baf4a85..e8eb470 100644 --- a/web/lib/editor.js +++ b/web/lib/editor.js @@ -261,6 +261,26 @@ preview: 'A -> B: ~strikeout~', title: 'Strikeout markdown', }, + { + code: '{text}', + preview: 'A -> B: underline', + title: 'Underline markdown', + }, + { + code: '{text}', + preview: 'A -> B: overline', + title: 'Overline markdown', + }, + { + code: '{text}', + preview: 'A -> B: superscript', + title: 'Superscript markdown', + }, + { + code: '{text}', + preview: 'A -> B: subscript', + title: 'Subscript markdown', + }, { code: '`{text}`', preview: 'A -> B: `mono`', diff --git a/web/lib/editor.min.js b/web/lib/editor.min.js index 185263d..c957f97 100644 --- a/web/lib/editor.min.js +++ b/web/lib/editor.min.js @@ -1 +1 @@ -!function(){"use strict";function e(e){return null===e?null:e.element?e.element:e}function t(e){return e.length>0&&"\n"!==e.charAt(e.length-1)?e+"\n":e}function i(e,t){let i=0,n=0;for(;;){const s=e.indexOf("\n",i)+1;if(t{const n=t[0].parentNode,s=n.addEventListener,r=n.removeEventListener;n.addEventListener=((e,t)=>{"mousemove"===e||"touchmove"===e?window.addEventListener(e,t,{passive:!0}):s.call(n,e,t)}),n.removeEventListener=((e,t)=>{"mousemove"===e||"touchmove"===e?window.removeEventListener(e,t):r.call(n,e,t)});let o=null;const l=Object.assign({cursor:"vertical"===i.direction?"row-resize":"col-resize",direction:"vertical",gutterSize:0,onDragEnd:()=>{document.body.style.cursor=o,o=null},onDragStart:()=>{o=document.body.style.cursor,document.body.style.cursor=l.cursor}},i);return new e(t,l)})}var r=[{code:"{Agent1} -> {Agent2}: {Message}",title:"Simple arrow (synchronous)"},{code:"{Agent1} --\x3e {Agent2}: {Message}",title:"Arrow with dotted line (response)"},{code:"{Agent1} ->> {Agent2}: {Message}",title:"Open arrow (asynchronous)"},{code:"{Agent1} -x {Agent2}: {Message}",title:"Lost message"},{code:"{Agent1} ~> {Agent2}: {Message}",title:"Wavy line"},{code:"{Agent1} -> {Agent1}: {Message}",title:"Self-connection"},{code:"{Agent1} -> ...{id}\n...{id} -> {Agent2}: {Message}",preview:"begin A, B\nA -> ...x\n...x -> B: Message",title:"Asynchronous message"},{code:"* -> {Agent1}: {Message}",title:"Found message"},{code:"{Agent1} -> {Agent2}\n& {Agent1} -> {Agent3}: {Broadcast}",title:"Broadcast message"},{code:"{Agent1} -> +{Agent2}: {Request}\n{Agent1} <-- -{Agent2}: {Response}",title:"Request/response pair"},{code:"{Agent1} -> *{Agent2}: {Request}\n{Agent1} <-- !{Agent2}: {Response}",title:"Inline agent creation / destruction"},{code:"{Agent1} -> {Agent2}: {Request}\n{Agent1} <-- {Agent2}: {Response}\nend {Agent2}",preview:"begin A\n::\nA -> B: Request\nA <-- B: Response\nend B",title:"Agent creation / destruction"},{code:'autolabel "[]