about summary refs log tree commit diff stats
path: root/html/edit
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-09-07 22:42:23 -0700
committerKartik Agaram <vc@akkartik.com>2018-09-07 22:42:23 -0700
commitc762564bd754884e847922c99172076fde4d646e (patch)
tree52b51d72a8e0bf29c94f5c01c13f098399830082 /html/edit
parent1a62e61df42bfdf001010700c1e1042c67d62ec2 (diff)
downloadmu-c762564bd754884e847922c99172076fde4d646e.tar.gz
4539
Diffstat (limited to 'html/edit')
-rw-r--r--html/edit/001-editor.mu.html14


-rw-r--r--html/edit/002-typing.mu.html14


-rw-r--r--html/edit/003-shortcuts.mu.html14


-rw-r--r--html/edit/004-programming-environment.mu.html14


-rw-r--r--html/edit/005-sandbox.mu.html14


-rw-r--r--html/edit/006-sandbox-copy.mu.html14


-rw-r--r--html/edit/007-sandbox-delete.mu.html14


-rw-r--r--html/edit/008-sandbox-edit.mu.html14


-rw-r--r--html/edit/009-sandbox-test.mu.html14


-rw-r--r--html/edit/010-sandbox-trace.mu.html12


-rw-r--r--html/edit/011-errors.mu.html14


-rw-r--r--html/edit/012-editor-undo.mu.html14


12 files changed, 83 insertions, 83 deletions
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html
index c5bc16a5..c6e43ccc 100644
--- a/html/edit/001-editor.mu.html
+++ b/html/edit/001-editor.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/001-editor.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index f33cf545..f16f2ccc 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/002-typing.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Delimiter { color: #800080; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
 .muData { color: #ffff00; }
-.SalientComment { color: #00ffff; }
+.Delimiter { color: #800080; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index e507b83d..c1936a32 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/003-shortcuts.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,16 +15,16 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Delimiter { color: #800080; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
-.SalientComment { color: #00ffff; }
-.Constant { color: #00a0a0; }
+.muScenario { color: #00af00; }
 .LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Delimiter { color: #800080; }
+.Constant { color: #00a0a0; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html
index dc0aa10e..01a5f894 100644
--- a/html/edit/004-programming-environment.mu.html
+++ b/html/edit/004-programming-environment.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/004-programming-environment.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html
index ab45522e..0a7811b6 100644
--- a/html/edit/005-sandbox.mu.html
+++ b/html/edit/005-sandbox.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/005-sandbox.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html
index fe119f1e..f0ec1bbd 100644
--- a/html/edit/006-sandbox-copy.mu.html
+++ b/html/edit/006-sandbox-copy.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/006-sandbox-copy.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,16 +15,16 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Delimiter { color: #800080; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
-.SalientComment { color: #00ffff; }
-.Constant { color: #00a0a0; }
+.muScenario { color: #00af00; }
 .LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Delimiter { color: #800080; }
+.Constant { color: #00a0a0; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index 74ad4eb6..5ddbfd32 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/007-sandbox-delete.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,16 +15,16 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Delimiter { color: #800080; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
-.SalientComment { color: #00ffff; }
-.Constant { color: #00a0a0; }
+.muScenario { color: #00af00; }
 .LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Delimiter { color: #800080; }
+.Constant { color: #00a0a0; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html
index 62de3b4d..9b1205d5 100644
--- a/html/edit/008-sandbox-edit.mu.html
+++ b/html/edit/008-sandbox-edit.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/008-sandbox-edit.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,16 +15,16 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Delimiter { color: #800080; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
-.SalientComment { color: #00ffff; }
-.Constant { color: #00a0a0; }
+.muScenario { color: #00af00; }
 .LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Delimiter { color: #800080; }
+.Constant { color: #00a0a0; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html
index 5b70530e..95e9a37e 100644
--- a/html/edit/009-sandbox-test.mu.html
+++ b/html/edit/009-sandbox-test.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/009-sandbox-test.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html
index 5d4404c1..c7fc51e1 100644
--- a/html/edit/010-sandbox-trace.mu.html
+++ b/html/edit/010-sandbox-trace.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/010-sandbox-trace.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -17,15 +17,15 @@ a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
-.Delimiter { color: #800080; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
 .muData { color: #ffff00; }
-.SalientComment { color: #00ffff; }
+.Delimiter { color: #800080; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index 96677150..e31360f8 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/011-errors.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index 705a47e4..ee575658 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -3,7 +3,7 @@
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <title>Mu - edit/012-editor-undo.mu</title>
-<meta name="Generator" content="Vim/7.4">
+<meta name="Generator" content="Vim/8.0">
 <meta name="plugin-version" content="vim7.4_v2">
 <meta name="syntax" content="none">
 <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
@@ -15,17 +15,17 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.muData { color: #ffff00; }
+.muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
-.Special { color: #c00000; }
+.muScenario { color: #00af00; }
+.LineNr { color: #444444; }
+.muData { color: #ffff00; }
 .Delimiter { color: #800080; }
-.SalientComment { color: #00ffff; }
 .Constant { color: #00a0a0; }
-.LineNr { color: #444444; }
-.muControl { color: #c0a020; }
+.Special { color: #c00000; }
 .Comment { color: #9090ff; }
 .Comment a { color:#0000ee; text-decoration:underline; }
-.muScenario { color: #00af00; }
+.SalientComment { color: #00ffff; }
 -->
 </style>
 

 

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-08 22:03:55 +0000