Problem with gtk_font_size parameter

Hi!

Its not possible to specify the font size with real number.
Example:
gtk_font_size: 13.5

It select size 13 instead of 13.5.

(the unit appear in size point, not pixel. So if I want 18 pixel height
font (at 96dpi), I must specify 13.5. )
This feature its important for the bitmaps font (or bitmap embedded
truetype fonts)

I use mped 3.3.17.

Another offtopic question:
Why the selection its so complicated and not well working? (shift+arrow
for normal selection and ctrl+arrow keys for rectangular selection. in
vim: Ctrl-V and arrow key)

Khiraly



-- 
To unsubscribe, send mail to mp-unsubscribe_lists.triptico.com.