improve repl module detection speed

Author: pfitzseb

lib/runtime/modules.coffee

@@ -6,7 +6,7 @@
 {client} = require '../connection'
 {selector} = require '../ui'
 
-{module: getmodule, allmodules} = client.import ['module', 'allmodules']
+{module: getmodule, allmodules, ismodule} = client.import ['module', 'allmodules', 'ismodule']
 
 module.exports =
 
@@ -83,9 +83,9 @@ module.exports =
     else if atom.workspace.isTextEditor item
       @updateForEditor item
     else
-      allmodules().then (modules) =>
-        mod = item.juliaModule or 'Main'
-        @setCurrent main: mod, inactive: !(modules.indexOf(mod) > -1)
+      mod = item.juliaModule or 'Main'
+      ismodule(mod).then (ismod) =>
+        @setCurrent main: mod, inactive: !ismod
 
   updateForEditor: (editor) ->
     @setCurrent main: editor.juliaModule or 'Main', true

script/boot_repl.jl

@@ -26,7 +26,7 @@ end
 
 
 # TODO: Update me when tagging a new relase:
-MIN_ATOM_VER = v"0.12"
+MIN_ATOM_VER = v"0.12.4"
 outdated = false
 
 try