[Github-comments] [geany/geany] Embedded terminal in GUI #enhancement (Issue #3926)