|
![](/i/fill.gif) |
"How Camp" <hca### [at] ksu edu> wrote in message news:39944ae2@news.povray.org...
| Hmm. Is it just my system, or does this happen to everyone:
Happens here too. What I think happens is by pressing Ctrl you forego the
highlighting (no more ability to Copy or Cut) yet the editor leaves it there
until refreshed over.
A minor bug indeed.
What I come across all the time is trying to mouse click at the beginning of
a highlighted line and have the highlighting go away but does not, so I
always fear overwriting something. Well, no fear really since it can be
undone but it's similar I guess to what you are saying.
Sorry, no sight of anything at the f.a.q. group either, only one of the most
recent postings by Ken T.
Bob
Post a reply to this message
|
![](/i/fill.gif) |