Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
B
baas-ide
Project
Project
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
JIRA
JIRA
Merge Requests
1
Merge Requests
1
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Registry
Registry
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
guxukai
baas-ide
Commits
b75836b9
Commit
b75836b9
authored
Aug 31, 2017
by
serapath
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
FIX script execution + FIX autofocus
parent
90db5db4
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
5 additions
and
4 deletions
+5
-4
terminal.js
src/app/panels/terminal.js
+5
-4
No files found.
src/app/panels/terminal.js
View file @
b75836b9
...
@@ -8,6 +8,8 @@ var vm = require('vm')
...
@@ -8,6 +8,8 @@ var vm = require('vm')
var
EventManager
=
require
(
'ethereum-remix'
).
lib
.
EventManager
var
EventManager
=
require
(
'ethereum-remix'
).
lib
.
EventManager
var
Web3
=
require
(
'web3'
)
var
Web3
=
require
(
'web3'
)
var
executionContext
=
require
(
'../../execution-context'
)
var
css
=
csjs
`
var
css
=
csjs
`
.panel {
.panel {
position : relative;
position : relative;
...
@@ -217,7 +219,7 @@ class Terminal {
...
@@ -217,7 +219,7 @@ class Terminal {
self
.
_output
(
self
.
data
.
banner
)
self
.
_output
(
self
.
data
.
banner
)
function
focusinput
(
event
)
{
function
focusinput
(
event
)
{
if
(
self
.
_view
.
journal
.
offsetHeight
-
self
.
_view
.
term
.
scrollTop
<
33
0
)
{
if
(
self
.
_view
.
journal
.
offsetHeight
-
(
self
.
_view
.
term
.
scrollTop
+
self
.
_view
.
term
.
offsetHeight
)
<
5
0
)
{
refocus
()
refocus
()
}
}
}
}
...
@@ -294,7 +296,6 @@ class Terminal {
...
@@ -294,7 +296,6 @@ class Terminal {
self
.
scroll2bottom
=
function
()
{
self
.
scroll2bottom
=
function
()
{
var
next
=
placeholder
.
nextElementSibling
var
next
=
placeholder
.
nextElementSibling
if
(
next
)
{
if
(
next
)
{
console
.
error
(
'new messages'
)
placeholder
.
style
=
''
placeholder
.
style
=
''
check
()
check
()
var
messages
=
1
var
messages
=
1
...
@@ -502,10 +503,10 @@ class Terminal {
...
@@ -502,10 +503,10 @@ class Terminal {
}
}
}
}
// @TODO add all the `console` functions
function
domTerminalFeatures
(
self
)
{
function
domTerminalFeatures
(
self
)
{
// @TODO add all the `console` functions
return
{
return
{
web3
:
self
.
_api
.
context
()
!==
'vm'
?
new
Web3
(
self
.
_api
.
web3
().
currentProvider
)
:
null
,
web3
:
executionContext
.
getProvider
()
!==
'vm'
?
new
Web3
(
executionContext
.
web3
().
currentProvider
)
:
null
,
console
:
{
console
:
{
log
:
function
()
{
self
.
_output
.
apply
(
self
,
arguments
)
}
log
:
function
()
{
self
.
_output
.
apply
(
self
,
arguments
)
}
}
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment