theia: include more fonts

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance]
 filename = instance.cfg.in
-md5sum = f95354d4af4a78ad7fd11ebc9281ed19
+md5sum = a92a80a92afcf3fab6c0c25a506b87cf
 
 [yarn.lock]
 filename = yarn.lock

software/theia/instance.cfg.in

@@ -62,6 +62,12 @@ template = inline:
     proxy /file-upload $${theia-instance:base-url} {
       websocket
     }
+    fonts/source-code-pro/* {
+      root ${source-code-pro-fonts:location}
+    }
+    fonts/jetbrains-mono/* {
+      root ${jetbrains-mono-fonts:location}
+    }
     basicauth $${frontend-instance-password:username} $${frontend-instance-password:passwd} {
       realm "Theia"
       /

software/theia/software.cfg

@@ -11,6 +11,7 @@ extends =
    ../../component/curl/buildout.cfg
    ../../component/coreutils/buildout.cfg
    ../../component/java-jdk/buildout.cfg
+   ../../component/fonts/buildout.cfg
    ../../stack/slapos.cfg
    ../../stack/monitor/buildout.cfg
    ../../component/defaults.cfg

software/theia/test/test.py

@@ -81,6 +81,9 @@ class TestTheia(SlapOSInstanceTestCase):
     self.assertEqual(requests.codes.ok, resp.status_code)
     self.assertTrue(resp.raw)
 
+    # there are fonts
+    TODO
+
   def test_theia_slapos(self):
     # Make sure we can use the shell and the integrated slapos command
     process = pexpect.spawnu(