Talk:Rodin Editor

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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’