Reserve double space for character symbols

Some Unicode characters, like the Chinese and Japanese character symbols, are regarded by some host applications as double space characters. Glink will by default reserve an extra character position when such a character symbol is detected. You can use this option to turn off this double space reservation.