Re: [patch] fix crash on command line with branches

[Abdelrazak Younes]

Abdelrazak Younes wrote:
Jürgen Spitzmüller wrote:
http://bugzilla.lyx.org/show_bug.cgi?id=4255
The patch looks straightforward to me. Abdel, what do you think?

Yes, this of (use_gui) is fine.

this _or_ (use_gui) is fine. But (theApp()) is probably better in case 
we develop a non-gui app someday.

Abdel.