Re: Problem with gtk_font_size parameter

From: Angel Ortega <angel_triptico.com>
Date: Thu, 27 Apr 2006 17:23:11 +0200
On Thu, Apr 27, 2006 at 12:07:40PM +0200, Khiraly wrote:

> 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.

Hi!

I'm afraid font size is stored as an integer. This is certainly a bug;
I've never thought about non-integer sizes. I'll fix it in the next
release.

> 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)

There is no rectangular selection in MP. Ctrl + left or right arrow keys
just move a word left or right.

There are three ways of selecting: 1) moving with shift pressed (any
movement key will extend the selection), 2) marking the start or end of
the selection block with F9, or 3) doing the same with the right mouse
button.

I for one think 'standard' ways of selection (dragging with the mouse or
entering 'visual selection' like in vim) are awful.

-- 
Angel Ortega
http://www.triptico.com



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


Received on Thu Apr 27 2006 - 17:23:30 CEST

This archive was generated by hypermail 2.2.0 : Thu Apr 10 2008 - 08:59:26 CEST