This commit is contained in:
Enrico Forestieri 2015-03-31 16:03:16 +02:00
parent 67ff68bd02
commit 0bbfadb23f

View File

@ -420,7 +420,7 @@ void InsetInfo::updateInfo()
break;
int percent_scale = 100;
if (use_gui) {
// Compute the scale factor for the icon such its
// Compute the scale factor for the icon such that its
// width on screen is equal to 1em in pixels.
// The scale factor is rounded to the integer nearest
// to the float value of the ratio 100*iconsize/imgsize.