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 344824 - Allow alphabet file to specify font
Allow alphabet file to specify font
Status: RESOLVED OBSOLETE
Product: dasher
Classification: Applications
Component: core
unspecified
Other All
: Normal enhancement
: ---
Assigned To: Phil Cowans
Phil Cowans
Depends on:
Blocks: 519278 519313
 
 
Reported: 2006-06-13 23:03 UTC by Seb Wills
Modified: 2021-05-26 09:58 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Seb Wills 2006-06-13 23:03:46 UTC
Certain alphabets containing symbols that do not have a public Unicode value need to be used with a particular font (e.g. Semantic Alphabet only works if the Semant37 font is used).

I know it's ugly in comparison to the Unicode way of life, but it would be nice if alphabet files could specify preferred fonts, which, if present, would override the font settings in Dasher while that alphabet is being used.

I have thought a bit about the UI for this feature. It's quite hard to do, as the user should be able to insist on choosing the font (overriding the alphabet) if they wish; the font should be returned to the previous setting when a normal alphabet is selected; and it should be clear to the user that the font is being overridden if they start poking around with font settings.  The best I can come up with is as follows:
 
When an alphabet which specifies one or more fonts is selected: If none of the fonts are present, then warn user and continue with current font. Otherwise, store Dasher's current font settings, and change the font to the one specified by the alphabet. If the user enters a font dialog box while the alphabet is selected, pop up an alert first, "The current alphabet requires the use of the XXX font. Are you sure you wish to change font?".  When the user changes to an alphabet which does not specify a font, then, if the user has not changed font while the font-specifying alphabet was selected, restore the saved font settings.
Comment 1 André Klapper 2021-05-26 09:58:20 UTC
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org.
As part of that, we are mass-closing older open tickets in bugzilla.gnome.org
which have not seen updates for a longer time (resources are unfortunately
quite limited so not every ticket can get handled).

If you can still reproduce the situation described in this ticket in a recent
and supported software version, then please follow
  https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines
and create a new enhancement request ticket at
  https://gitlab.gnome.org/GNOME/dasher/-/issues/

Thank you for your understanding and your help.