19:01:25  * [Butch]joined
19:02:00  <[Butch]>Quick question: How does one change the editor font?
21:58:28  * [Butch]quit (Quit: I'm out . . .)