Re: Bug 2900: LyX with lots of math slow on Windows

[Bo Peng]

What about using short ints instead of ints?

I do not know what exactly is going on here, but if there are a lot of
duplicates, std::map should help.

Bo