search

markokoleznik / agda-writer

A simple GUI for Agda
Other
31 stars 2 forks source link

Disable smart input method #10

Closed andrejbauer closed 9 years ago

andrejbauer commented 9 years ago

The input method changes -- to –, so it's kind of hard to write comments. See "smart dashes" setting in Interface Builder.

markokoleznik commented 9 years ago

Please check if this bug is still there, I can't reproduce it.

Fixed in: https://github.com/markokoleznik/agda-writer/commit/9c2717ad4607e6568a2068bdd627d70c2abd2fe8

andrejbauer commented 9 years ago

Still not working with d3488a960aa9ffd963f1ee35aa6b77dfe3d54fa1

markokoleznik commented 9 years ago

strange, all "smart" inputs are disabled... Can you write double dashes in Emacs and/or Atom, for example?

andrejbauer commented 9 years ago

Safari, Emacs, Sublime Text 2, TextEdit, Microsoft Word: in all of these -- is --. In Agda Writer -- is –.

markokoleznik commented 9 years ago

Thanks, will look into that.

markokoleznik commented 9 years ago

Now? https://github.com/markokoleznik/agda-writer/commit/460199f5e89e46756ddbaf8cf6d60a29571d8181

markokoleznik commented 9 years ago

Can you try this: Open a document and go to Edit -> Substitutions -> Smart Dashes and make sure it's unchecked. Please let me know if that helped. In that case I will remove all those unnecessary stuff from Menu.

markokoleznik commented 9 years ago

Now it started doing the same to me, too :smile:

markokoleznik commented 9 years ago

Fixed in https://github.com/markokoleznik/agda-writer/commit/75710bd8dedc9ee684686081d051c28cfc15191c