Image previewing in editor (shift + left mouse button)

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

1 comment
Comment actions Permalink

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

0

Please sign in to leave a comment.