Hello,
A while back I have been optimizing my Ion3 config by removing all pixel
eating borders. At that time I have been using a bug or X misconfig as a
feature. That is; I have set the variable font to 'fixed' in my
de.defstyle("tab", {}), this caused Ion not to show any tab headings
anymore, exactly what I wanted.
Now I have copied this config to another computer where I suddenly get the
tab titles again. On this machine the fixed font seems to exist.
So my question; how can I get rid of the titles above the tabs in the right
way? Choosing another (non existing) font name does not work, since it then
says it will use the fixed font because of not being able of finding the
requested one...
Thanks in advance,
Lourens
