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

[Hogben, C. H <Col...@uk...>]

Hi,

Having spent some time using Rodin (following examples and tutorials 
etc.) there are number of things I've seen in the Rodin UI which I'd 
like help to understand.

- While editing with Camille, sometimes there is a red cross icon at the 
bottom left by the end of file.  There are no Rodin Problems, and 
hovering over it gets nothing.  Should I worry?

- Sometimes I have seen a warning triangle icon at the top left of the 
edit window; hovering over it gets e.g. "Warnings: 2".  Again no Rodin 
problems, so what are the warnings?

- 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?

- When I add an event or invariant in Camille and then save, sometimes 
(always?) no Proof Obligations are added.  But if I perform similar 
modifications using the Rodin editor, new POs are added.  I'd expect the 
addition of POs to be a function of the underlying model rather than the 
particular editor being used.

- 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?

Any guidance appreciated.
Thanks,
-- 
Colin Hogben
Software/Control Engineer
UK Atomic Energy Authority
Tel: +44 1235 464948