aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorDevine Lu Linvega <[email protected]>2019-05-28 15:11:16 +0900
committerDevine Lu Linvega <[email protected]>2019-05-28 15:11:16 +0900
commit36fdb31b69c59edba3982f33722ab710b2a50a0e (patch)
treea5da3c65444a80f278462a361d13d44dd374baf2
parent70ab488dd8080727cd9ee797246fbbb58ab82379 (diff)
downloadOrca-36fdb31b69c59edba3982f33722ab710b2a50a0e.tar.gz
Orca-36fdb31b69c59edba3982f33722ab710b2a50a0e.zip
Fixed issue with pixel size
-rw-r--r--TUTORIAL.md8
-rw-r--r--desktop/sources/scripts/terminal.js2
2 files changed, 9 insertions, 1 deletions
diff --git a/TUTORIAL.md b/TUTORIAL.md
index c700ab8..087912b 100644
--- a/TUTORIAL.md
+++ b/TUTORIAL.md
@@ -104,6 +104,14 @@ CA1.
.dAz
```
+### Not Null
+
+```
+cYc
+J.J
+cFc
+```
+
### Hold Bang
```
diff --git a/desktop/sources/scripts/terminal.js b/desktop/sources/scripts/terminal.js
index 1f15060..813244c 100644
--- a/desktop/sources/scripts/terminal.js
+++ b/desktop/sources/scripts/terminal.js
@@ -316,7 +316,7 @@ export default function Terminal () {
const current = { w: winSize[0], h: winSize[1] }
if (current.w === size.w && current.h === size.h) { console.warn('Terminal', 'No resize required.'); return }
console.log('Source', `Fit terminal for ${this.orca.w}x${this.orca.h}(${size.w}x${size.h})`)
- win.setSize(size.w, size.h, false)
+ win.setSize(parseInt(size.w), parseInt(size.h), false)
this.resize()
}