Re: Quitting fullscreen editing (Was: Move Editing and Fullscreen in the 'User interface' panel to a separate panel.)

[Pavel Sanda]

> (which should then be indicated, sorry to nag ;-) 

i added it to
p