[Bug 131053] New - Editor can not change font

[bugzilla-daemon@widget.gnome.org]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

http://bugzilla.gnome.org/show_bug.cgi?id=131053

Changed by jordi@sindominio.net.

--- shadow/131053	Fri Jan  9 19:04:07 2004
+++ shadow/131053.tmp.15498	Fri Jan  9 19:04:07 2004
@@ -0,0 +1,29 @@
+Bug#: 131053
+Product: gtranslator
+Version: 1.0
+OS: Linux
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: normal
+Priority: Normal
+Component: Interface
+AssignedTo: ross@golder.org                            
+ReportedBy: jordi@sindominio.net               
+QAContact: kabalak@gtranslator.org
+TargetMilestone: 1.0
+URL: 
+Cc: pkg-gnome-maintainers@lists.alioth.debian.org
+Summary: Editor can not change font
+
+Another bug from the Debian BTS (http://bugs.debian.org/225570):
+
+Edit | Preferences | Editor has font change buttons for original text
+and translated text. They do not work. Font can be changed to whatever
+font family and size, but the editor still shows the default font.
+                                                                          
+     
+The default font is not fixed with, which makes it difficult to write
+translations that need to align text vertically, a tabular form for
+example. It becomes necessary to count manually how many characters
+there are in the line.