search

mthiede / rtext_eclipse_plugin

4 stars 0 forks source link

Pressing Ctrl over a token doesn't highlight the reference. #34

Open sanastasiou opened 8 years ago

sanastasiou commented 8 years ago

To reproduce:

move mouse over token. Press Ctrl.

Leave Ctrl.

Press Ctrl again -> no highlighting.