Hi,
You're welcome to dive into our code, fix this and send us a pull
request on Github. I don't know what's happening in your case and I
don't have time to investigate it, sorry.
Cheers,
Carlos
El 17/07/18 a las 15:08, Ken Bassford escribió:
Hi Carlos,
Sorry to call you out, but your statement does not appear to fit the
facts.
* I have loaded of the above mentioned fonts into Qt version 4.8.7
and they all work just fine (Qt uses the FreeType2 engine, which
will pretty much digest anything you throw at it).
* In addition, the aforementioned fonts are already present in the
"Rich Text font" selection box present under the General
Preferences along with the non-monospaced fonts.
The problem is somewhere else.
I see in your code a fonts.py, though editing that does not have any
effect. Perhaps you are filtering them in another place. I am more
than happy to assist if you give me some direction.
Sincerely,
Ken Bassford
On Tuesday, July 17, 2018 at 12:26:30 PM UTC-4, Carlos Córdoba wrote:
Hi,
We really don't have control over which fonts can be selected.
That's a Qt issue (Qt is the graphical toolkit on top of which
Spyder is built).
Cheers,
Carlos
El 17/07/18 a las 09:43, Ken Bassford escribió:
Hi Folks,
I've seen several posts and bug reports open about the subject of
font selection in the editor, but no one has addressed why many
of the Truetype Monospaced fonts are not selectable. I want to
select fonts that have clear, readily identifiable differences
between 0 (zero) and O (capital "oh") or 1 (one) and l (small
"el") and I (capital "eye"). For example, I can select Cousine,
Inconsolata, DejaVu Sans Mono, Liberation Mono and Noto Mono: but
I can't select Noto Sans Mono, Mechanical or Share Tech Mono
despite the fact that they are all coded and readily identified
as monospaced fonts by the system. All are installed under
'/usr/share/fonts/', have permissions of 644 and "sudo fc-cache
-srv" has no effect.
Ironically I can also select Noto Color Emoji and Noto Emoji, if
I was so inclined, which really messes up the spacing and
alignment despite pretending to be monospaced (maybe Google
should change them to "expanded" instead, I can only assume there
is a technical reason for specifying them as "monospaced" such as
scaling or kerning).
So what's the deal? Why does only a subset of truetype,
monospaced fonts appear in the selection box?
Sincerely,
Ken Bassford
--
You received this message because you are subscribed to the
Google Groups "spyder" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected] <javascript:>.
To post to this group, send email to [email protected]
<javascript:>.
Visit this group at https://groups.google.com/group/spyderlib
<https://groups.google.com/group/spyderlib>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "spyder" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at https://groups.google.com/group/spyderlib.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"spyder" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/spyderlib.
For more options, visit https://groups.google.com/d/optout.
