First of all: thanx for bringing Scrivener to Linux! Is without any doubt the best text writer for me :) But secondly: I use Scrivener for more than a year already, never encountered any problems, until now :( It's not a big problem, but it's very annoying to me. Sometimes I want to highlight a text...