[platform-dev] IResource representation for non-workspace URI

2019-04-02 Thread Alexander Fedorov
Hello, There are scenarios with external files and with files from metadata area that should be processed as "workspace resources". For example, if external file is involved to some kind of validation it will be good to see the failures in the Problem View. And the Problem View requires IMarke

Re: [platform-dev] Code mining refresh

2019-04-02 Thread Alexander Fedorov
Thanks a lot, Mickael! Now it works as expected. Regards, AF 02.04.2019 15:57, Mickael Istria пишет: Hi, From anywhere, for example on a listener after TP resolution or something like that, invoke ((ISourceViewerExtension5)viewer).updateCodeMinings(). HTH

Re: [platform-dev] Code mining refresh

2019-04-02 Thread Mickael Istria
Hi, >From anywhere, for example on a listener after TP resolution or something like that, invoke ((ISourceViewerExtension5)viewer).updateCodeMinings(). HTH ___ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve

[platform-dev] Code mining refresh

2019-04-02 Thread Alexander Fedorov
Hello, The code minings may depend on some "external" context, i.e. on something that will not impact the underlying document content. I'm talking about Target Definition editor that depends on ITargetPlatformService state, but I think the situation is generic enough. What is the best approac

[platform-dev] Eclipse-UIs and minimum screen resolution

2019-04-02 Thread Becker, Matthias
Dear Platform-Devs, UI designers and developers have to know which minimum screen resolution they should support. Otherwise, it becomes frustrating to design UIs because there is not specific design target. Source code based editor mainly don’t have issue with this topic. When writing form-base

[platform-dev] Request review for new extension point

2019-04-02 Thread Mickael Istria
Hi folks, I'm willing to introduce a new extension point to customize quick-access (currently only adding new content). I've submitted a set of patches to Gerrit, and before I merge them, I'd appreciate if someone can review the extension point and API proposal. To do so, you can look at https://