Dominique Pellé wrote:
> vim-7.4.1433 compiles fine on xubuntu-15.10 with:
>
> $ ./configure --with-features=3Dnormal --enable-gui=3Dgtk3
>
> But compilation fails with:
>
> $ ./configure --with-features=3Dsmall --enable-gui=3Dgtk3
> $ make
> ...
> gcc -c -I. -Iproto -DHAVE_CONFIG_H -DFEAT_GUI_GTK -pthread
> -I/usr/include/gtk-3.0 -I/usr/include/at-spi2-atk/2.0
> -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0
> -I/usr/lib/i386-linux-gnu/dbus-1.0/include -I/usr/include/gtk-3.0
> -I/usr/include/gio-unix-2.0/ -I/usr/include/mirclient
> -I/usr/include/mircommon -I/usr/include/cairo -I/usr/include/pango-1.0
> -I/usr/include/harfbuzz -I/usr/include/pango-1.0
> -I/usr/include/atk-1.0 -I/usr/include/cairo -I/usr/include/pixman-1
> -I/usr/include/freetype2 -I/usr/include/libpng12
> -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libpng12
> -I/usr/include/glib-2.0 -I/usr/lib/i386-linux-gnu/glib-2.0/include
> -g -O2 -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=3D1 -o
> objects/gui_gtk_x11.o gui_gtk_x11.c
> gui_gtk_x11.c: In function =E2=80=98gui_mch_mousehide=E2=80=99:
> gui_gtk_x11.c:7082:37: error: =E2=80=98GtkWidget {aka struct _GtkWidget}=E2=
> =80=99 has
> no member named =E2=80=98window=E2=80=99
> gdk_window_set_cursor(gui.drawarea->window, NULL);
> ^
>
> Attached patch fixes it, along with a couple of typos in comments.
Thanks!
--
Living on Earth includes an annual free trip around the Sun.
/// 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.
