Image previewing in editor (shift + left mouse button) Follow
Hi,
We recently discovered the feature to preview images within Java source when using shift + left mouse button hovering over a String based (relativ) URL.
Unfortunately, this seems not to work from within properties files. Is there any setting to make this work? Or could anyone give a pointer to the plug-in API for being able to activate such a feature?
Thanks,
Stefan
Please sign in to leave a comment.
I apologize to the users of this list, but this forum software apparently has no private messaging feature.
Stefan,
If you are the Stefan Schulz who developed the E theorem prover: Hello again!
Randall Schulz