Hi all,

I now have a working window in rxMUI where I can display the contents of an external text file. However the contents of the window are using a variable width font and I need a mono-spaced font such as DejaVu Sans Mono/15.

How do I change the font for the contents of the window.

---
redfox

Last edited by redfox on 25-Apr-2019 at 04:33 AM.

Hi all,

I now have a working window in rxMUI where I can display the contents of an external text file. However, the contents of the window are using a variable width font and I need a mono-spaced font such as DejaVu Sans Mono/15.

In MUI preferences there appears to be a fixed-width font available to any program that asks for fixed font. This font just happens to be DejaVu Sans Mono/15 font.

How do I request fixed-width font using rxMUI? It appears to be associated with the Area class.

I cannot find an example and the documentation for rxMUI does not provide any examples.

---
redfox

Last edited by redfox on 25-Apr-2019 at 04:35 AM.

Hi all,

I now have a working window in rxMUI where I can display the contents of an external text file. However, the contents of the window are using a variable width font and I need a mono-spaced font such as DejaVu Sans Mono/15.

In MUI preferences there appears to be a fixed-width font available to any program that asks for fixed font. This font just happens to be DejaVu Sans Mono/15 font.

How do I request fixed-width font using rxMUI? It appears to be associated with the Area class.

I cannot find an example and the documentation for rxMUI does not provide any examples.

---
redfox

Last edited by redfox on 25-Apr-2019 at 04:36 AM.

Double post.

Last edited by redfox on 25-Apr-2019 at 04:36 AM.

Double post.

Last edited by redfox on 25-Apr-2019 at 04:36 AM.

Don't know why this is happening. Each time I edit my post, it is duplicated.

Last edited by redfox on 25-Apr-2019 at 04:37 AM.

Double post.

Last edited by redfox on 25-Apr-2019 at 04:37 AM.