Thank you!
I know that Ialso can substitute other font in font.properties in my Java
runtime.
I still want to control separately fonts in the trip and menus.
Currently I'm not ready to addthis functionality to Electric code myself.
I am concentrating on analog components support in MOCMOS for H8 process
I'm using
And I typically do not run Electric in windows. Yet I understood your Idea
- "change default desktop font in your system".
My be it will be temporary workaround for my issue, yet it also affects
other applications.
Thank you,
Alex
On Sun, Feb 27, 2022 at 4:43 AM Gavin <gabo13...@gmail.com> wrote:
> At [1], it has: *The Electric display varies from platform to platform. *
>
> That might be an indication of the font size not being changeable within
> Electric.
>
> If you are using a Windows 10 platform, you might try *Scale and layout*
> to see if that would work for you as described at [2] (e.g., right click on
> the Windows button, select Settings -> System -> Display, and adjust the
> percentage in the box for the "Change the size of text, apps, and other
> items").
>
> [image: Focusassist-10.jpg]
>
> [1] https://www.staticfreesoft.com/jmanual/mchap01-07.html
> [2]
> https://support.microsoft.com/en-us/windows/view-display-settings-in-windows-37f0e05e-98a9-474c-317a-e85422daa8bb
>
> On Friday, February 25, 2022 at 2:05:10 PM UTC-7 Alexandre Rusev wrote:
>
>>
>> Does the current Electric have a capability to change font size of
>> signatures in the
>> tree at the left frame?
>> (Using the UI with default font size is very difficult on modern
>> notebooks with 4K resolution screens
>> )
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Electric VLSI Editor" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to electricvlsi+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/electricvlsi/46b03335-27b3-437a-8d99-b5288e2e5b92n%40googlegroups.com
> <https://groups.google.com/d/msgid/electricvlsi/46b03335-27b3-437a-8d99-b5288e2e5b92n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"Electric VLSI Editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to electricvlsi+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/electricvlsi/CACoSTqL79FCgdRVu35%2B8iopDvc8FNz%3Dm5C%2BCE1_fCjHLNpshzg%40mail.gmail.com.
