debug toolbar css tuning

pull/1/head
Ondřej Hruška 7 years ago
parent 9040b1a8a6
commit 32c889b714
Signed by: MightyPork
GPG Key ID: 2C5FD5035250423D
  1. 4
      js/term/debug.js
  2. 8
      sass/pages/_term.scss

@ -58,7 +58,7 @@ module.exports = function attachDebugger (screen, connection) {
}, },
drawEnd () { drawEnd () {
endTime = Date.now() endTime = Date.now()
console.log(drawInfo.textContent = `Draw: ${lastReason} (${(endTime - startTime)} ms) with graphics=${screen.window.graphics}`) drawInfo.textContent = `Draw: ${lastReason} (${(endTime - startTime)} ms), fancy_gfx=${screen.window.graphics}`
startDrawing() startDrawing()
}, },
setCell (cell, flags) { setCell (cell, flags) {
@ -253,7 +253,7 @@ module.exports = function attachDebugger (screen, connection) {
buttons.appendChild(redraw) buttons.appendChild(redraw)
const fancyGraphics = mk('button') const fancyGraphics = mk('button')
fancyGraphics.textContent = 'Toggle Graphics' fancyGraphics.textContent = 'Toggle Fancy Graphics'
fancyGraphics.addEventListener('click', e => { fancyGraphics.addEventListener('click', e => {
screen.window.graphics = +!screen.window.graphics screen.window.graphics = +!screen.window.graphics
}) })

@ -114,11 +114,17 @@ body.term {
.debug-toolbar { .debug-toolbar {
line-height: 1.5; line-height: 1.5;
text-align: left; text-align: left;
padding: 6px; padding: 6px 12px 12px 12px;
font-family: $screen-stack; font-family: $screen-stack;
font-size: 12px; font-size: 12px;
white-space: normal; white-space: normal;
.toolbar-buttons {
button {
margin-right: 5px;
}
}
.heartbeat { .heartbeat {
float: right; float: right;
font-family: $font-stack; font-family: $font-stack;

Loading…
Cancel
Save