Changing font via font panel now sets 'guifont' as well.

git-svn-id: http://macvim.googlecode.com/svn/trunk@107 96c4425d-ca35-0410-94e5-3396d5c13a8f
This commit is contained in:
Bjorn Winckler
2007-08-09 09:24:29 +00:00
parent 846d11d79c
commit be3881c8f9
+2 -2
View File
@@ -914,9 +914,9 @@ static int specialKeyToNSKey(int key);
bytes += sizeof(unsigned); // len not used
NSMutableString *name = [NSMutableString stringWithUTF8String:bytes];
[name appendString:[NSString stringWithFormat:@":h%f", pointSize]];
[name appendString:[NSString stringWithFormat:@":h%.2f", pointSize]];
gui_init_font((char_u*)[name UTF8String], FALSE);
set_option_value((char_u*)"gfn", 0, (char_u*)[name UTF8String], 0);
// Force screen redraw (does it have to be this complicated?).
redraw_all_later(CLEAR);