Choosing a font in editor

Logged In: YES
user_id=927102

But I don't think there are _many_ choices for monospace font family.
Can this be 'Closed'?

Logged In: YES
user_id=939679

Default font not support my language (russian). I want see my comment in
my language.

Logged In: YES
user_id=1530153

Also, we need to support configuring 'font sizes'. It
certainly looks big in my Ubuntu dapper installation.

Logged In: YES
user_id=574312

Aanjhan should look into this as he is handling the
GtkSourceView changes.

Once he is done with the backend, I will take up the UI part.

I tried adding a separate menu entry in File menu File -> Font. Attaching the patch for the same. Let me know if there is any issue.

Kindly let me know if there is any suggestions.

I think we must add a preferences dialog for these kind of settings. But at present there are not much settings to put in such a dialog.

-- Debjit

We do not have many preferences to save. Also I couldn't decide if we should add configuration mechanism using gconf or simple config files. So the font selection will not be saved.

This patch looks good. I will commit it today.

Committed the patch with few changes of my own.