Use different font for workspace containing IRC.

1g0rb0hm · Dec 17, 2020 · 0ca220f · 0ca220f
1 parent 758425b
commit 0ca220f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/bin/rc/workspace.main b/bin/rc/workspace.main
@@ -35,12 +35,14 @@ fn MidRow{
   w=`{echo $x(4) - $x(1) | bc}
   h=`{echo $y(4) - $y(3) | bc}
   echo $w $h >$home/tmp/w0.dim
-  window -hide -r ($x(1) $y(3) $x(4) $y(4)) rio -i workspace.w0
+  w0font=$font
+  window -hide -r ($x(1) $y(3) $x(4) $y(4)) rio -i workspace.w0 -f $w0font
 
   w=`{echo $x(4) - $x(1) | bc}
   h=`{echo $y(4) - $y(3) | bc}
   echo $w $h >$home/tmp/w1.dim
-  window -hide -r ($x(1) $y(3) $x(4) $y(4)) rio -i workspace.w1
+  w1font=/lib/font/bit/pelm/unicode.9.font
+  window -hide -r ($x(1) $y(3) $x(4) $y(4)) rio -i workspace.w1 -f $w1font
 
   window -hide -r ($x(1) $y(3) $x(4) $y(4)) acme -c3 -a
   window -r ($x(1) $y(3) $x(2) $y(4)) rc