OK to move Fullscreen preferences?

[Jean-Marc Lasgouttes]

Le 05/05/2023 à 19:26, Jean-Marc Lasgouttes a écrit :
> Le 05/05/2023 à 18:12, Scott Kostyshak a écrit :
>> Yuriy has a patch here:
>>
>>    https://www.lyx.org/trac/ticket/12124#comment:2
>>
>> Any objection?
>>
>> It's a bit weird that we have Editing > Control and then inside of 
>> that we have another "Editing" section and "Fullscreen" section. To me 
>> that's a signal that the "Fullscreen" section is out of place.
> 
> Make sense. I would have put it in Display subsection, though.

Sorry, I pushed it by mistake, and then reverted.

JMarc