I'm encountering strange behavior in WebStorm's text editor. It may be a setting that I don't know about, but when I select a block of text and then begin typing (to replace the text I selected), WebStorm just ignores the first character. Or, more specifically, it seems like WebStorm interprets the first character I type, no matter what it is, as the delete or backspace key instead of a letter/number.
So, for example:
If I wanted to replace the id of this div from "foo" to "bar", I'd select foo, and type bar. But I would end up with this:
I'm using WebStorm 7.0.3.