|
|
@ -460,7 +460,9 @@ module.exports = function start(filename, source) {
|
|
|
|
json = source
|
|
|
|
json = source
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
findGen = find(json, highlight)
|
|
|
|
if (highlight) {
|
|
|
|
|
|
|
|
findGen = find(json, highlight)
|
|
|
|
|
|
|
|
}
|
|
|
|
render()
|
|
|
|
render()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
@ -485,6 +487,8 @@ module.exports = function start(filename, source) {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
highlight = regex
|
|
|
|
highlight = regex
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
search.hide()
|
|
|
|
|
|
|
|
|
|
|
|
if (highlight) {
|
|
|
|
if (highlight) {
|
|
|
|
findGen = find(json, highlight)
|
|
|
|
findGen = find(json, highlight)
|
|
|
|
findNext()
|
|
|
|
findNext()
|
|
|
@ -492,8 +496,6 @@ module.exports = function start(filename, source) {
|
|
|
|
findGen = null
|
|
|
|
findGen = null
|
|
|
|
currentPath = null
|
|
|
|
currentPath = null
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
search.hide()
|
|
|
|
|
|
|
|
search.setValue('')
|
|
|
|
search.setValue('')
|
|
|
|
|
|
|
|
|
|
|
|
box.height = '100%'
|
|
|
|
box.height = '100%'
|
|
|
|