0 ここからは暗いテーマのちょっとした見た目がありますが、まだ白いパッチが残っています。これが私のGTKテーマなのか、それともScintillaテーマなのかはわかりませんが、今はそのScintillaを想定します。これがScintillaの問題である場合、それを修正するためのIDは何ですか? mysql-workbench — ワイルドタイフロス ソース