diff src/gui_gtk_f.h @ 6779:64a32aca7919 v7.4.711

patch 7.4.711 Problem: Missing change in one file. Solution: Also change option.c
author Bram Moolenaar <bram@vim.org>
date Tue, 21 Apr 2015 19:10:48 +0200
parents e4d849f4df03
children 3456e2ebebd4
line wrap: on
line diff