After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 131053 - Editor can not change font
Editor can not change font
Status: RESOLVED DUPLICATE of bug 122194
Product: gtranslator
Classification: Other
Component: Interface
1.0
Other Linux
: Normal normal
: 1.0
Assigned To: Ross Golder
Fatih Demir
Depends on:
Blocks:
 
 
Reported: 2004-01-10 00:04 UTC by Jordi Mallach
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.3/2.4


Description Jordi Mallach 2004-01-10 00:04:00 UTC 
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.
Comment 1 Ross Golder 2004-01-28 11:23:12 UTC 

*** This bug has been marked as a duplicate of 122194 ***