Why don't you wait for more bugs.
On May 2, 2012 1:58 AM, "Tony Zhang" <niu.tony...@gmail.com> wrote:Just fixed two more GUI bugs:
- deleting ending parentheses will not cause any problem now
- pasting Unicode characters into the buffer is now forbidden
Should I made another package? Or do we want to wait for other possible bugs?
--
Tony (Chi Zhang)