diff src/gui_w48.c @ 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 121613e72e39
children 5f24d6d51333
line wrap: on
line diff