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
