github
/
jumpserver
mirror of https://github.com/jumpserver/jumpserver
1
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #166 from jumpserver/font_size 

change(font) 修改使用websocket的页面字体,增加监控size
pull/168/head
ibuler 2016-03-26 11:42:12 +08:00
parent 3dfd9cd512 1e1aa67b3e
commit 3ca6629175
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
templates/exec_cmd.html
View File

@ -82,7 +82,7 @@
<style type="text/css">
* {
font-family: "Monaco", "DejaVu Sans Mono", "Liberation Mono", monospace;
font-family: "Monaco", "Microsoft Yahei", "DejaVu Sans Mono", "Liberation Mono", monospace;
font-size: 11px;
}

8
templates/jlog/log_online.html
View File

@ -3,7 +3,7 @@
<style>
.terminal {
border: #000 solid 5px;
font-family: "Monaco", "DejaVu Sans Mono", "Liberation Mono", monospace;
font-family: "Monaco", "Microsoft Yahei", "DejaVu Sans Mono", "Liberation Mono", monospace;
font-size: 11px;
color: #f0f0f0;
background: rgba(0, 0, 0, 0.6);
@ -141,8 +141,8 @@
var socket = new WebSocket(endpoint + '?file_path=' + file_path);
var term = new Terminal({
cols: 80,
rows: 24,
cols: 98,
rows: 28,
screenKeys: false,
handler: function(){return false}
});
@ -150,7 +150,7 @@
var tag = $('<div id="term" style="height:500px; overflow: auto;background-color: rgba(0, 0, 0, 0);border: none"></div>');
term.open();
$('.terminal').hide();
term.resize(80, 24);
term.resize(98, 28);
socket.onopen = function(evt){
socket.send('hello');