On 28/10/2005, at 5.57, José Campos wrote:
Is there a way to change the font size in the
List" window (the one which is called by "ctrl-alt-command-K")? Did
find any source code for it in the TM package.
The source is found as:
Changing font is only possible by modifying the source (or the webkit
preferences set in the HTMLOutput nib via Interface Builder).