Re: token frequencies when loading the Userguide.lyx

[Jean-Marc Lasgouttes]

Dekel Tsur wrote:
> Why not convert the token string to a number (in lyxlex?), and then
> use a switch?

This would be the 'normal' use of lyxlex, indeed. I did not feel brave
enough to do it, so I went to the easy solution...

JMarc