Make the editor pane resizable.

git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@3700 ed5197a5-7fde-0310-b194-c3ffbd925b24

core/core.js

@@ -285,6 +285,8 @@ var kStaticFiles = [
 	{uri: '/client.js', type: 'text/javascript; charset=UTF-8'},
 	{uri: '/robots.txt', type: 'text/plain; charset=UTF-8'},
 
+	{uri: '/split.min.js'},
+	{uri: '/split.min.js.map'},
 	{uri: '/codemirror/codemirror.min.js'},
 	{uri: '/codemirror/base16-dark.min.css'},
 	{uri: '/codemirror/matchesonscrollbar.min.css'},
@@ -344,6 +346,7 @@ async function speedScopeHandler(request, response, uri) {
 		'js': 'text/javascript',
 		'html': 'text/html',
 		'css': 'text/css',
+		'map': 'application/json',
 	};
 	try {
 		var data = await File.readFile("deps/speedscope/" + filename);