> > The completion settings should probably get their own panel, no? They > > take quite a lot of space. > > I am not quite sure.... Maybe fullscreen back to user interface and > completion to editing?
i have no hard opinion on that matter. do as you wish. pavel