1.79+ theme

apps/telnet.lua

@@ -46,13 +46,12 @@ process:newThread('telnet_read', function()
       ct[v.f](unpack(v.args))
     end
   end
-  print('telnet_read exiting')
 end)
 
 ct.clear()
 ct.setCursorPos(1, 1)
 
-local filter = Util.invert({
+local filter = Util.transpose({
   'char', 'paste', 'key', 'key_up', 'mouse_scroll', 'mouse_click', 'mouse_drag',
 })
 

sys/apis/ui.lua

@@ -3323,7 +3323,7 @@ end
 
 UI:loadTheme('config/ui.theme')
 if os.getVersion() >= 1.79 then
-  UI:loadTheme('config/ext.theme')
+  UI:loadTheme('sys/etc/ext.theme')
 end
 
 UI:setDefaultDevice(UI.Device({ device = term.current() }))

sys/apis/util.lua

@@ -118,14 +118,6 @@ function Util.keys(t)
   return keys
 end
 
-function Util.invert(t)
-  local nt = { }
-  for k,v in pairs(t) do
-    nt[v] = k
-  end
-  return nt
-end
-
 function Util.merge(obj, args)
   if args then
     for k,v in pairs(args) do

sys/etc/ext.theme

@@ -0,0 +1,15 @@
+{
+  ScrollingGrid = {
+    lineChar = '|',
+    sliderChar = '\127',
+    upArrowChar = '\30',
+    downArrowChar = '\31',
+  },
+  Button = {
+    focusIndicator = '\183',
+  },
+  Grid = {
+    focusIndicator = '\183',
+    inverseSortIndicator = '\24',
+  },
+}