Core and Commander settled
rename User Command => Commander
wiring Commander load event
Executable querying path
now we can query user about the path of agda executable
now we can write commands to agda executable
load with included dir
moving stream/ to executable/stream/
process.stdout streaming
output panel
rename output => view, prepare to fuse all views togehter
merged all views
text buffer component
Logging system established, CHOP CHOP MOTHERFUCKER!!
Logger fixed
replace console.log with Logger
subcomponent of text buffer related stuffs
remove redundent prefix of configs, and adapts to them when they change
show or hide panels when switching tabs
?