Re: [Rodin-b-sharp-user] Help wanted to understand UI elements

[Guillaume V. <Gui...@ir...>]

Dear Colin,

> On 24 Apr 2024, at 17:35, Hogben, Colin H <Col...@uk...> wrote:
> 
> - When editing text in the Rodin editor, a mini light bulb icon appears just to the left; the hover text is "Content Assist Available (Ctrl + Space)" but ctrl+space does nothing.  Should it do something?

It should provide some kind of content completion. This is a known bug in that editor; it has not been fixed yet.
https://sourceforge.net/p/rodin-b-sharp/bugs/793/

> - In one project (in 4.7) in the Event-B Explorer, a machine has a mini-icon overlaying the top-left of the "M" icon - looks a bit like some sort of "file" icon.  I guess it's trying to tell me something, but what?


This icon merely indicates that the component (machine, in your case) has a non-empty comment.
It does not indicate any kind of error or warning, but can be helpful to determine at a glance which components are documented and which ones are not.

I can’t provide any help regarding your issues with Camille, sorry.

Best regards,
Guillaume Verdier