urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-12 10:29:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix whitespace issues

Browse Source
This commit is contained in:
Anton Dyudin 2014-10-09 17:23:17 -07:00 committed by Anton Dyudin
parent dba0d1eeac
commit 26065f3a68
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
main/app/terminal/core.hook
View File

@ -124,7 +124,6 @@
outline: none;
position: absolute;
resize: none;
white-space: normal;
}
#prom-size {
visibility: hidden;
@ -138,7 +137,7 @@
;pre#cont;
;span#prem:">"
;div#prom-cont
;textarea.mousetrap#prom;
;textarea.mousetrap#prom(wrap "off");
;div#prom-size;
==
;br;
@ -166,8 +165,9 @@
break;
case 13: // %retn
if(e.shiftKey) return true
v = prom.val().trim()
prem.textContent += v
v = prom.val().replace(/\xa0/g, ' ')
cont.textContent += '\n' + prem.textContent + '\n' + v
jpok('line', v)
hist.unshift(v)
prom.val('')
@ -177,13 +177,14 @@
if(hind == hist.length) return true
if(pos().top === false) return true
prom.val([hist[hind], hist[hind] = prom.val()][0])
size()
hind++
return false
break;
case 40: // %down
if(hind == 0) return true
if(pos().bot === false) return true
console.log('go down')
size()
hind--
prom.val([hist[hind], hist[hind] = prom.val()][0])
return false
@ -195,7 +196,6 @@
focus()
size = function() {
console.log('change')
prom_size.html(prom.val()+"<br />")
}
size()