Changing extension to use React

README.md

@@ -17,12 +17,26 @@ Docker:
 When JupyterLab has started up inside Docker, you will be able to connect to it on localhost:8007.
 Hit Ctrl-C to kill it.
 
-Once it's running, you can use the install command to rebuild and install the extension:
+Once it's running, you can use the install command to fully rebuild and install the extension:
 
 ```
 ./project.rb install
 ```
 
+However, JupyterLab runs in "watch mode". This means that if you change a CSS file, reloading the
+page in your browser will normally pick up that change automatically. If you change a TypeScript 
+file, running:
+
+```
+./project.rb build
+```
+
+will cause the change to be built, with output written to the lib dir, and picked up the next time 
+you reload the page in your browser. 
+
+Since these steps are much faster than running "install", you'll normally want to do them instead
+once your server is running to iterate more quickly.
+
 ## Other commands
 
 To generate client libraries for talking to the workbench API based on a tagged client_api.yaml

docker-compose.yaml

@@ -8,6 +8,6 @@ services:
     volumes:
       - .:/w:cached
       - ~/.config:/.config:cached
-    command: jupyter lab --port=8007 --ip=0.0.0.0 --no-browser --notebook-dir=/w/jupyterlab --NotebookApp.token=''
+    command: jupyter lab --port=8007 --ip=0.0.0.0 --no-browser --notebook-dir=/w/jupyterlab --NotebookApp.token='' --watch
     ports:
       - 8007:8007