- // IMO lyxserver is atypical, and for the moment the only one, non-gui
- // bufferview. We just have to find a way to handle situations like if
- // lyxserver is using a buffer that is being edited with a bufferview.
- // With a common buffer list this is not a problem, maybe. (Alejandro)
+ // IMO lyxserver is atypical, and for the moment the only one, non-gui
+ // bufferview. We just have to find a way to handle situations like if
+ // lyxserver is using a buffer that is being edited with a bufferview.
+ // With a common buffer list this is not a problem, maybe. (Alejandro)