ubuntu 14.04のgdbで-tuiを使用していますが、tuiのウィンドウが自動的に非常に小さくなることがよくあります。厳密には、入力を開始すると突然小さくなることがよくありますが、キーが同じではないたびに、同じことは、キーを入力する前に数分間(少し長い間)画面を見つめていたようです。どうしてか分かりません。使おうとすると
winheight src +4
また
ウィンハイトSRC+4
まったく変わらず、使用情報を引き続き提供してくれます。この問題を解決する方法がわかりません。誰か手がかりを教えてもらえますか? 写真