[Github-comments] Re: [geany/geany] Open CLI docs only once main window is active again (PR #3395)