Talk:Rodin Editor

From Event-B
Jump to navigationJump to search

Dear Sir or Madame,

I have a question regarding the Rodin Editor. When I type and try to use code assist (ctrl-space) nothing happens. Is there a way to fix this?

Best Regards, Sergey

Retrieved from ‘https://wiki.event-b.org/index.php?title=Talk:Rodin_Editor&oldid=10691’