comparison src/gui_kde_x11.cc @ 444:d0d15b184c56

updated for version 7.0116
author vimboss
date Mon, 25 Jul 2005 20:42:36 +0000
parents 4707450c2b33
children
comparison
equal deleted inserted replaced
443:43bf0bcf2110 444:d0d15b184c56
1410 if (shape != MSHAPE_HIDE) 1410 if (shape != MSHAPE_HIDE)
1411 last_shape = shape; 1411 last_shape = shape;
1412 }//}}} 1412 }//}}}
1413 #endif 1413 #endif
1414 1414
1415 /*
1416 * Adjust gui.char_height (after 'linespace' was changed).
1417 */
1415 int 1418 int
1416 gui_mch_adjust_charsize ()//{{{ 1419 gui_mch_adjust_charheight ()//{{{
1417 { 1420 {
1418 QFont f(*(gui.current_font)); 1421 QFont f(*(gui.current_font));
1419 QFontMetrics fm(f); 1422 QFontMetrics fm(f);
1420 gui.char_height = fm.height() + p_linespace; 1423 gui.char_height = fm.height() + p_linespace;
1421 //gui.char_height = fm.ascent() + fm.descent() + p_linespace; 1424 //gui.char_height = fm.ascent() + fm.descent() + p_linespace;