Commit afb71456 authored by Hanspeter Portner's avatar Hanspeter Portner

web_ui: beautify style.

parent 74e343dd
Pipeline #4172255 passed with stages
in 5 minutes and 13 seconds
......@@ -19,7 +19,7 @@
<body>
<div id="container">
<input id="toggle" type="checkbox"><label id="icon" for="toggle">&equiv;</label></input>
<input id="toggle" type="checkbox"><label id="icon" for="toggle" alt="Ctrl+Shift+P" title="Ctrl+Shift+P">&equiv;</label></input>
<div class="content">
<table><tr style="vertical-align:bottom;"><td>
......@@ -38,12 +38,12 @@
<div class="sticky-top">
<span id="status">disconnected</span>
<span class="clip">
| <label><input type="radio" id="emacs" name="mode" value="ace/keyboard/emacs" />emacs</label>
<label><input type="radio" id="vim" name="mode" value="ace/keyboard/vim" />vim</label>
| <a id="compile" href="#" alt="Shift+Return" title="Shift+Return">send chunk</a>
| <a id="compile_line" href="#" alt="Ctrl+Shift+Return" title="Ctrl+Shift+Return">send line</a>
| <a id="clear" href="#" alt="Ctrl+L" title="Ctrl+L">clear log</a>
| <a href="/manual.html" alt="open manual">manual</a>
<a class="button" id="compile" href="#" alt="Shift+Return" title="Shift+Return">send chunk</a>
<a class="button" id="compile_line" href="#" alt="Ctrl+Shift+Return" title="Ctrl+Shift+Return">send line</a>
<a class="button" id="clear" href="#" alt="Ctrl+L" title="Ctrl+L">clear log</a>
<a class="button" href="/manual.html" target="_blank" alt="Ctrl+M" title="Ctrl+M">manual</a>
<label><input type="radio" id="emacs" name="mode" value="ace/keyboard/emacs" />emacs</label>
<label><input type="radio" id="vim" name="mode" value="ace/keyboard/vim" />vim</label>
</span>
</div>
......
......@@ -842,7 +842,7 @@ function ws_connect() {
try {
socket_di.onopen = function() {
$('#status').html('connected');
$('#status').hide();
$('.clip').show();
// query initial props
......@@ -863,7 +863,7 @@ function ws_connect() {
}
socket_di.onclose = function(){
$('#status').html('disconnected');
$('#status').show();
$('.clip').hide();
clear_log();
}
......@@ -907,6 +907,23 @@ $(document).ready(function() {
},
readOnly: true // false if this command should not apply in readOnly mode
});
editor.commands.addCommand({
name: 'open manual',
bindKey: {win: 'Ctrl-M', mac: 'Ctrl-M'},
exec: function(editor) {
window.open('/manual.html', '_blank');
},
readOnly: true // false if this command should not apply in readOnly mode
});
editor.commands.addCommand({
name: 'show properties',
bindKey: {win: 'Ctrl-Shift-P', mac: 'Ctrl-Shift-P'},
exec: function(editor) {
var state = $('#toggle').prop('checked');
$('#toggle').prop('checked', !state);
},
readOnly: true // false if this command should not apply in readOnly mode
});
editor.$blockScrolling = Infinity
editor.setOptions({
......
......@@ -109,13 +109,39 @@ body {
.slide-menu h1 {
text-shadow:1px 1px 1px #000;
}
a {
color:#b00;
text-decoration:none;
}
a:link {color:#b00;}
a:visited {color:#b00;}
a:hover {color:#fff; background-color:#b00;}
a:link {
color:#b00;
}
a:visited {
color:#b00;
}
a:hover {
color:#fff;
background-color:#b00;
}
a.button {
color:#fff;
text-decoration:none;
background-color:#666;
padding:5px;
}
a.button:link {
color:#fff;
}
a.button:visited {
color:#fff;
}
a.button:hover {
color:#fff;
background-color:#b00;
}
.props {
text-align:left;
overflow-y:auto;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment