Kazunobu Kuriyama wrote: > 2017-07-23 23:45 GMT+09:00 Bram Moolenaar <[email protected]>: > > > > > Patch 8.0.0755 > > Problem: Terminal window does not have colors in the GUI. > > Solution: Lookup the GUI color. > > Files: src/terminal.c, src/syntax.c, src/proto/syntax.pro, > > src/term.c, > > src/proto/term.pro, src/gui_gtk_x11.c, src/proto/ > > gui_gtk_x11.pro, > > src/gui_x11.c, src/proto/gui_x11.pro, src/gui_mac.c, > > src/proto/gui_mac.pro, src/gui_photon.c, src/proto/ > > gui_photon.pro, > > src/gui_w32.c, src/proto/gui_w32.pro > > > For some reason, a couple of local variables were declared in a wrong place > and thus resulting in a build failure for Athena and Motif GUI builds > (Please see below for the compiler diagnosis). Attached is a patch for > fixing it.
Thanks! (I thought you were stuck on GTK :-). > BTW, it was really amazing that my making this patch was all done without > leaving gvim except for this very last phase to send out the resulting > patch to vim_dev through a browser. I found the built-in terminal more > useful than I had expected. Be careful though, I have seen some crashes, usually on exit. Can't reproduce them, but it seems to happen below vterm_free(). It gets very confusing to run Vim in a terminal window, now that the colors make it look almost like just another window. -- hundred-and-one symptoms of being an internet addict: 230. You spend your Friday nights typing away at your keyboard /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
