use DirectionalLights instead of PointLights for performance. and add ability to toggle anti-aliasing

web/kiri/index.css

@@ -1781,12 +1781,17 @@ th, tr, td, label {
     padding: 5px 20px 5px 20px;
     margin-left: 10px;
 }
-#fps {
+#stats {
     position: fixed;
     font-size: 10px;
     bottom: 5px;
     right: 5px;
     color: #000;
+    flex-direction: column;
+    align-items: flex-end;
+}
+.dark #stats {
+    color: #888;
 }
 #tool-info {
     position: fixed;

web/kiri/index.html

@@ -504,7 +504,10 @@
         <div class="sep"></div>
         <button id="context-setfocus" lk="rc_focs">set focus</button>
     </div>
-    <div id="fps" class="noshow"></div>
+    <div id="stats">
+        <div id="rms"></div>
+        <div id="fps"></div>
+    </div>
     <div id="layer-animate" class="f-col a-center"></div>
     <div id="layer-toolpos" class="f-row a-center"></div>
     <div id="alert-area">

web/kiri/lang/en.js

@@ -255,6 +255,8 @@ kiri.lang['en-us'] = {
     op_spcr_l:      ["spacing between objects","during auto layout","in workspace units"],
     op_orth_s:      "orthographic",
     op_orth_l:      ["orthographic display","requires page refresh"],
+    op_anta_s:      "anti-alias",
+    op_anta_l:      ["smooth display. better but slower","requires a page refresh or reload"],
     op_invr_s:      "invert zoom",
     op_invr_l:      ["invert mouse wheel","scroll zoom"],
     op_save_s:      "auto save",