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

[Jürgen Spitzmüller]

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

I chose theApp() (it was easier to access from BranchList).

Jürgen