You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should investigate having VEdit running targets in the same JVM (as the vark shell does) to avoid the parsing time cost with spawning a new JVM each time you run a target.
Or we could have a console built into VEdit which has the vark shell running in a separate JVM. However, I think this detracts from the point of having a GUI.
The text was updated successfully, but these errors were encountered:
We should investigate having VEdit running targets in the same JVM (as the vark shell does) to avoid the parsing time cost with spawning a new JVM each time you run a target.
Or we could have a console built into VEdit which has the vark shell running in a separate JVM. However, I think this detracts from the point of having a GUI.
The text was updated successfully, but these errors were encountered: