4 Commits

Author	SHA1	Message	Date
Romein van Buren	9d577ac429	Added functionality to save and import shell scripts (#37)	2023-07-19 20:01:15 +02:00
Romein van Buren	5476df5fe9	Preserve state between tabs (cc #37) (fixes #56)	2023-07-08 13:07:55 +02:00
Romein van Buren	7a5354c5f4	Report stderr in shell (#37)	2023-07-02 10:10:45 +02:00
Romein van Buren	61142844fa	Shell feature (#44) ... Resolves #37: adds a shell tab where the user can write mongo shell scripts and execute them.	2023-07-01 21:34:32 +02:00