Re: [Factor-talk] font sizes in browser und listener

[Krisztián Schaffer]

Thanks, I have joined the Discord server and will seek help there if needed.

John Benediktsson  ezt írta (időpont: 2023. szept. 21.,
Cs, 18:33):

> Yes, and we would be happy to help assist.
>
> A fair amount of developer conversation takes place on the Discord server,
> if you want more real-time chats about it.  Or on the Github issue I just
> opened:
>
> https://github.com/factor/factor/issues/2876
>
>
>
> On Sep 21, 2023, at 9:00 AM, Krisztián Schaffer <
> schaffer.kriszt...@gmail.com> wrote:
>
> *Is that something a newcomer can do?*
>
> Hello,
>
> This is my first post here.
>
> I've admired Factor for years, and reading its documentation once helped
> me grasp the concept of refactoring. However, I've never really used it.
>
> Do you think this issue would be a good starting point?
>
> Thanks,
> Krisztián
>
> John Benediktsson  ezt írta (időpont: 2023. szept. 21.,
> Cs, 17:24):
>
>> I suspect if you put those font lines in your .factor-boot-rc and
>> bootstrap it will all look good. We must be caching the default font in
>> places and need that to all be responsive to changes.
>>
>> On Thu, Sep 21, 2023 at 8:22 AM Georg Simon  wrote:
>>
>>> Yes restart and yes new listener window.
>>>
>>> For instance I can start the listener and enter "today".
>>> I get an error message with two tiny lines.
>>> I choose "Use the calendar vocabulary" and get some more tiny messages.
>>>
>>> Am Thu, 21 Sep 2023 08:04:48
>>> -0700 schrieb John Benediktsson :
>>>
>>> > Did you restart Factor after saving? Or open a new listener window?
>>> >
>>> > I noticed the tips of the day at the top don’t properly grow in size
>>> > and that needs to be fixed.
>>> >
>>> >
>>> >
>>> > > On Sep 21, 2023, at 7:19 AM, Georg Simon 
>>> > > wrote:
>>> > >
>>> > > Thank you, much better now.
>>> > > Only the messages printed by the listener are still tiny.
>>> > >
>>> > > Am Tue, 19 Sep 2023 06:27:45 -0700
>>> > > schrieb John Benediktsson :
>>> > >
>>> > >> The quickest way is to change the default-font-size in the fonts
>>> > >> vocab to be larger.
>>> > >>
>>> > >> IN: fonts
>>> > >> CONSTANT: default-font-size 36
>>> > >> “help.stylesheet” reload
>>> > >> save
>>> > >>
>>> > >>
>>> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
>>> > >>> wrote:
>>> > >>>
>>> > >>> Using now 2560x1600 pixels I would like to change all font sizes
>>> > >>> permanently, menu bar and search field included.
>>> > >>>
>>> > >>> Thanks, Georg
>>> > >>>
>>> > >>>
>>> > >>> ___
>>> > >>> Factor-talk mailing list
>>> > >>> Factor-talk@lists.sourceforge.net
>>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> > >>
>>> > >>
>>> > >> ___
>>> > >> Factor-talk mailing list
>>> > >> Factor-talk@lists.sourceforge.net
>>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> > >
>>> > >
>>> > >
>>> > > ___
>>> > > Factor-talk mailing list
>>> > > Factor-talk@lists.sourceforge.net
>>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> >
>>> >
>>> > ___
>>> > Factor-talk mailing list
>>> > Factor-talk@lists.sourceforge.net
>>> > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>>>
>>>
>>> ___
>>> Factor-talk mailing list
>>> Factor-talk@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[John Benediktsson]

https://discord.gg/QxJYZx3QDfOn Sep 21, 2023, at 10:48 AM, CW Alston  wrote:Hi -- Just joined Discord! How do I find the Factor server there?On Thu, Sep 21, 2023 at 9:33 AM John Benediktsson  wrote:Yes, and we would be happy to help assist.  A fair amount of developer conversation takes place on the Discord server, if you want more real-time chats about it.  Or on the Github issue I just opened:https://github.com/factor/factor/issues/2876On Sep 21, 2023, at 9:00 AM, Krisztián Schaffer  wrote:Is that something a newcomer can do?Hello,This is my first post here.I've admired Factor for years, and reading its documentation once helped me grasp the concept of refactoring. However, I've never really used it.Do you think this issue would be a good starting point?Thanks,KrisztiánJohn Benediktsson  ezt írta (időpont: 2023. szept. 21., Cs, 17:24):I suspect if you put those font lines in your .factor-boot-rc and bootstrap it will all look good. We must be caching the default font in places and need that to all be responsive to changes. On Thu, Sep 21, 2023 at 8:22 AM Georg Simon  wrote:Yes restart and yes new listener window.

For instance I can start the listener and enter "today".
I get an error message with two tiny lines. 
I choose "Use the calendar vocabulary" and get some more tiny messages.

Am Thu, 21 Sep 2023 08:04:48
-0700 schrieb John Benediktsson :

> Did you restart Factor after saving? Or open a new listener window?
> 
> I noticed the tips of the day at the top don’t properly grow in size
> and that needs to be fixed. 
> 
> 
> 
> > On Sep 21, 2023, at 7:19 AM, Georg Simon 
> > wrote:
> > 
> > Thank you, much better now.
> > Only the messages printed by the listener are still tiny.
> > 
> > Am Tue, 19 Sep 2023 06:27:45 -0700
> > schrieb John Benediktsson :
> >   
> >> The quickest way is to change the default-font-size in the fonts
> >> vocab to be larger.
> >> 
> >> IN: fonts
> >> CONSTANT: default-font-size 36
> >> “help.stylesheet” reload
> >> save
> >> 
> >>   
> >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
> >>> wrote:
> >>> 
> >>> Using now 2560x1600 pixels I would like to change all font sizes
> >>> permanently, menu bar and search field included.
> >>> 
> >>> Thanks, Georg
> >>> 
> >>> 
> >>> ___
> >>> Factor-talk mailing list
> >>> Factor-talk@lists.sourceforge.net
> >>> https://lists.sourceforge.net/lists/listinfo/factor-talk    
> >> 
> >> 
> >> ___
> >> Factor-talk mailing list
> >> Factor-talk@lists.sourceforge.net
> >> https://lists.sourceforge.net/lists/listinfo/factor-talk  
> > 
> > 
> > 
> > ___
> > Factor-talk mailing list
> > Factor-talk@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/factor-talk  
> 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk



___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

___Factor-talk mailing listFactor-talk@lists.sourceforge.nethttps://lists.sourceforge.net/lists/listinfo/factor-talk___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
-- ~ Memento Amori
___Factor-talk mailing listFactor-talk@lists.sourceforge.nethttps://lists.sourceforge.net/lists/listinfo/factor-talk___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[CW Alston]

Hi -- Just joined Discord! How do I find the Factor server there?

On Thu, Sep 21, 2023 at 9:33 AM John Benediktsson  wrote:

> Yes, and we would be happy to help assist.
>
> A fair amount of developer conversation takes place on the Discord server,
> if you want more real-time chats about it.  Or on the Github issue I just
> opened:
>
> https://github.com/factor/factor/issues/2876
>
>
>
> On Sep 21, 2023, at 9:00 AM, Krisztián Schaffer <
> schaffer.kriszt...@gmail.com> wrote:
>
> *Is that something a newcomer can do?*
>
> Hello,
>
> This is my first post here.
>
> I've admired Factor for years, and reading its documentation once helped
> me grasp the concept of refactoring. However, I've never really used it.
>
> Do you think this issue would be a good starting point?
>
> Thanks,
> Krisztián
>
> John Benediktsson  ezt írta (időpont: 2023. szept. 21.,
> Cs, 17:24):
>
>> I suspect if you put those font lines in your .factor-boot-rc and
>> bootstrap it will all look good. We must be caching the default font in
>> places and need that to all be responsive to changes.
>>
>> On Thu, Sep 21, 2023 at 8:22 AM Georg Simon  wrote:
>>
>>> Yes restart and yes new listener window.
>>>
>>> For instance I can start the listener and enter "today".
>>> I get an error message with two tiny lines.
>>> I choose "Use the calendar vocabulary" and get some more tiny messages.
>>>
>>> Am Thu, 21 Sep 2023 08:04:48
>>> -0700 schrieb John Benediktsson :
>>>
>>> > Did you restart Factor after saving? Or open a new listener window?
>>> >
>>> > I noticed the tips of the day at the top don’t properly grow in size
>>> > and that needs to be fixed.
>>> >
>>> >
>>> >
>>> > > On Sep 21, 2023, at 7:19 AM, Georg Simon 
>>> > > wrote:
>>> > >
>>> > > Thank you, much better now.
>>> > > Only the messages printed by the listener are still tiny.
>>> > >
>>> > > Am Tue, 19 Sep 2023 06:27:45 -0700
>>> > > schrieb John Benediktsson :
>>> > >
>>> > >> The quickest way is to change the default-font-size in the fonts
>>> > >> vocab to be larger.
>>> > >>
>>> > >> IN: fonts
>>> > >> CONSTANT: default-font-size 36
>>> > >> “help.stylesheet” reload
>>> > >> save
>>> > >>
>>> > >>
>>> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
>>> > >>> wrote:
>>> > >>>
>>> > >>> Using now 2560x1600 pixels I would like to change all font sizes
>>> > >>> permanently, menu bar and search field included.
>>> > >>>
>>> > >>> Thanks, Georg
>>> > >>>
>>> > >>>
>>> > >>> ___
>>> > >>> Factor-talk mailing list
>>> > >>> Factor-talk@lists.sourceforge.net
>>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> > >>
>>> > >>
>>> > >> ___
>>> > >> Factor-talk mailing list
>>> > >> Factor-talk@lists.sourceforge.net
>>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> > >
>>> > >
>>> > >
>>> > > ___
>>> > > Factor-talk mailing list
>>> > > Factor-talk@lists.sourceforge.net
>>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> >
>>> >
>>> > ___
>>> > Factor-talk mailing list
>>> > Factor-talk@lists.sourceforge.net
>>> > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>>>
>>>
>>> ___
>>> Factor-talk mailing list
>>> Factor-talk@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>


-- 
*~ Memento Amori*
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[John Benediktsson]

Yes, and we would be happy to help assist.  

A fair amount of developer conversation takes place on the Discord server, if 
you want more real-time chats about it.  Or on the Github issue I just opened:

https://github.com/factor/factor/issues/2876



> On Sep 21, 2023, at 9:00 AM, Krisztián Schaffer 
>  wrote:
> 
> Is that something a newcomer can do?
> 
> Hello,
> 
> This is my first post here.
> 
> I've admired Factor for years, and reading its documentation once helped me 
> grasp the concept of refactoring. However, I've never really used it.
> 
> Do you think this issue would be a good starting point?
> 
> Thanks,
> Krisztián
> 
> John Benediktsson mailto:mrj...@gmail.com>> ezt írta 
> (időpont: 2023. szept. 21., Cs, 17:24):
>> I suspect if you put those font lines in your .factor-boot-rc and bootstrap 
>> it will all look good. We must be caching the default font in places and 
>> need that to all be responsive to changes. 
>> 
>> On Thu, Sep 21, 2023 at 8:22 AM Georg Simon > > wrote:
>>> Yes restart and yes new listener window.
>>> 
>>> For instance I can start the listener and enter "today".
>>> I get an error message with two tiny lines. 
>>> I choose "Use the calendar vocabulary" and get some more tiny messages.
>>> 
>>> Am Thu, 21 Sep 2023 08:04:48
>>> -0700 schrieb John Benediktsson >> >:
>>> 
>>> > Did you restart Factor after saving? Or open a new listener window?
>>> > 
>>> > I noticed the tips of the day at the top don’t properly grow in size
>>> > and that needs to be fixed. 
>>> > 
>>> > 
>>> > 
>>> > > On Sep 21, 2023, at 7:19 AM, Georg Simon >> > > >
>>> > > wrote:
>>> > > 
>>> > > Thank you, much better now.
>>> > > Only the messages printed by the listener are still tiny.
>>> > > 
>>> > > Am Tue, 19 Sep 2023 06:27:45 -0700
>>> > > schrieb John Benediktsson mailto:mrj...@gmail.com>>:
>>> > >   
>>> > >> The quickest way is to change the default-font-size in the fonts
>>> > >> vocab to be larger.
>>> > >> 
>>> > >> IN: fonts
>>> > >> CONSTANT: default-font-size 36
>>> > >> “help.stylesheet” reload
>>> > >> save
>>> > >> 
>>> > >>   
>>> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon >> > >>> >
>>> > >>> wrote:
>>> > >>> 
>>> > >>> Using now 2560x1600 pixels I would like to change all font sizes
>>> > >>> permanently, menu bar and search field included.
>>> > >>> 
>>> > >>> Thanks, Georg
>>> > >>> 
>>> > >>> 
>>> > >>> ___
>>> > >>> Factor-talk mailing list
>>> > >>> Factor-talk@lists.sourceforge.net 
>>> > >>> 
>>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> > >> 
>>> > >> 
>>> > >> ___
>>> > >> Factor-talk mailing list
>>> > >> Factor-talk@lists.sourceforge.net 
>>> > >> 
>>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk  
>>> > > 
>>> > > 
>>> > > 
>>> > > ___
>>> > > Factor-talk mailing list
>>> > > Factor-talk@lists.sourceforge.net 
>>> > > 
>>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk  
>>> > 
>>> > 
>>> > ___
>>> > Factor-talk mailing list
>>> > Factor-talk@lists.sourceforge.net 
>>> > 
>>> > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>> 
>>> 
>>> 
>>> ___
>>> Factor-talk mailing list
>>> Factor-talk@lists.sourceforge.net 
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net 
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk

___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[Krisztián Schaffer]

*Is that something a newcomer can do?*

Hello,

This is my first post here.

I've admired Factor for years, and reading its documentation once helped me
grasp the concept of refactoring. However, I've never really used it.

Do you think this issue would be a good starting point?

Thanks,
Krisztián

John Benediktsson  ezt írta (időpont: 2023. szept. 21.,
Cs, 17:24):

> I suspect if you put those font lines in your .factor-boot-rc and
> bootstrap it will all look good. We must be caching the default font in
> places and need that to all be responsive to changes.
>
> On Thu, Sep 21, 2023 at 8:22 AM Georg Simon  wrote:
>
>> Yes restart and yes new listener window.
>>
>> For instance I can start the listener and enter "today".
>> I get an error message with two tiny lines.
>> I choose "Use the calendar vocabulary" and get some more tiny messages.
>>
>> Am Thu, 21 Sep 2023 08:04:48
>> -0700 schrieb John Benediktsson :
>>
>> > Did you restart Factor after saving? Or open a new listener window?
>> >
>> > I noticed the tips of the day at the top don’t properly grow in size
>> > and that needs to be fixed.
>> >
>> >
>> >
>> > > On Sep 21, 2023, at 7:19 AM, Georg Simon 
>> > > wrote:
>> > >
>> > > Thank you, much better now.
>> > > Only the messages printed by the listener are still tiny.
>> > >
>> > > Am Tue, 19 Sep 2023 06:27:45 -0700
>> > > schrieb John Benediktsson :
>> > >
>> > >> The quickest way is to change the default-font-size in the fonts
>> > >> vocab to be larger.
>> > >>
>> > >> IN: fonts
>> > >> CONSTANT: default-font-size 36
>> > >> “help.stylesheet” reload
>> > >> save
>> > >>
>> > >>
>> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
>> > >>> wrote:
>> > >>>
>> > >>> Using now 2560x1600 pixels I would like to change all font sizes
>> > >>> permanently, menu bar and search field included.
>> > >>>
>> > >>> Thanks, Georg
>> > >>>
>> > >>>
>> > >>> ___
>> > >>> Factor-talk mailing list
>> > >>> Factor-talk@lists.sourceforge.net
>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>> > >>
>> > >>
>> > >> ___
>> > >> Factor-talk mailing list
>> > >> Factor-talk@lists.sourceforge.net
>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk
>> > >
>> > >
>> > >
>> > > ___
>> > > Factor-talk mailing list
>> > > Factor-talk@lists.sourceforge.net
>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk
>> >
>> >
>> > ___
>> > Factor-talk mailing list
>> > Factor-talk@lists.sourceforge.net
>> > https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
>>
>>
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[John Benediktsson]

I suspect if you put those font lines in your .factor-boot-rc and bootstrap
it will all look good. We must be caching the default font in places and
need that to all be responsive to changes.

On Thu, Sep 21, 2023 at 8:22 AM Georg Simon  wrote:

> Yes restart and yes new listener window.
>
> For instance I can start the listener and enter "today".
> I get an error message with two tiny lines.
> I choose "Use the calendar vocabulary" and get some more tiny messages.
>
> Am Thu, 21 Sep 2023 08:04:48
> -0700 schrieb John Benediktsson :
>
> > Did you restart Factor after saving? Or open a new listener window?
> >
> > I noticed the tips of the day at the top don’t properly grow in size
> > and that needs to be fixed.
> >
> >
> >
> > > On Sep 21, 2023, at 7:19 AM, Georg Simon 
> > > wrote:
> > >
> > > Thank you, much better now.
> > > Only the messages printed by the listener are still tiny.
> > >
> > > Am Tue, 19 Sep 2023 06:27:45 -0700
> > > schrieb John Benediktsson :
> > >
> > >> The quickest way is to change the default-font-size in the fonts
> > >> vocab to be larger.
> > >>
> > >> IN: fonts
> > >> CONSTANT: default-font-size 36
> > >> “help.stylesheet” reload
> > >> save
> > >>
> > >>
> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
> > >>> wrote:
> > >>>
> > >>> Using now 2560x1600 pixels I would like to change all font sizes
> > >>> permanently, menu bar and search field included.
> > >>>
> > >>> Thanks, Georg
> > >>>
> > >>>
> > >>> ___
> > >>> Factor-talk mailing list
> > >>> Factor-talk@lists.sourceforge.net
> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
> > >>
> > >>
> > >> ___
> > >> Factor-talk mailing list
> > >> Factor-talk@lists.sourceforge.net
> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk
> > >
> > >
> > >
> > > ___
> > > Factor-talk mailing list
> > > Factor-talk@lists.sourceforge.net
> > > https://lists.sourceforge.net/lists/listinfo/factor-talk
> >
> >
> > ___
> > Factor-talk mailing list
> > Factor-talk@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[Georg Simon]

Yes restart and yes new listener window.

For instance I can start the listener and enter "today".
I get an error message with two tiny lines. 
I choose "Use the calendar vocabulary" and get some more tiny messages.

Am Thu, 21 Sep 2023 08:04:48
-0700 schrieb John Benediktsson :

> Did you restart Factor after saving? Or open a new listener window?
> 
> I noticed the tips of the day at the top don’t properly grow in size
> and that needs to be fixed. 
> 
> 
> 
> > On Sep 21, 2023, at 7:19 AM, Georg Simon 
> > wrote:
> > 
> > Thank you, much better now.
> > Only the messages printed by the listener are still tiny.
> > 
> > Am Tue, 19 Sep 2023 06:27:45 -0700
> > schrieb John Benediktsson :
> >   
> >> The quickest way is to change the default-font-size in the fonts
> >> vocab to be larger.
> >> 
> >> IN: fonts
> >> CONSTANT: default-font-size 36
> >> “help.stylesheet” reload
> >> save
> >> 
> >>   
> >>> On Sep 19, 2023, at 12:56 AM, Georg Simon 
> >>> wrote:
> >>> 
> >>> Using now 2560x1600 pixels I would like to change all font sizes
> >>> permanently, menu bar and search field included.
> >>> 
> >>> Thanks, Georg
> >>> 
> >>> 
> >>> ___
> >>> Factor-talk mailing list
> >>> Factor-talk@lists.sourceforge.net
> >>> https://lists.sourceforge.net/lists/listinfo/factor-talk
> >> 
> >> 
> >> ___
> >> Factor-talk mailing list
> >> Factor-talk@lists.sourceforge.net
> >> https://lists.sourceforge.net/lists/listinfo/factor-talk  
> > 
> > 
> > 
> > ___
> > Factor-talk mailing list
> > Factor-talk@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/factor-talk  
> 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk



___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[Georg Simon]

Thank you, much better now.
Only the messages printed by the listener are still tiny.

Am Tue, 19 Sep 2023 06:27:45 -0700
schrieb John Benediktsson :

> The quickest way is to change the default-font-size in the fonts
> vocab to be larger.
> 
> IN: fonts
> CONSTANT: default-font-size 36
> “help.stylesheet” reload
> save
> 
> 
> > On Sep 19, 2023, at 12:56 AM, Georg Simon 
> > wrote:
> > 
> > Using now 2560x1600 pixels I would like to change all font sizes
> > permanently, menu bar and search field included.
> > 
> > Thanks, Georg
> > 
> > 
> > ___
> > Factor-talk mailing list
> > Factor-talk@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/factor-talk  
> 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk



___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font sizes in browser und listener

[John Benediktsson]

The quickest way is to change the default-font-size in the fonts vocab to be 
larger.

IN: fonts
CONSTANT: default-font-size 36
“help.stylesheet” reload
save


> On Sep 19, 2023, at 12:56 AM, Georg Simon  wrote:
> 
> Using now 2560x1600 pixels I would like to change all font sizes
> permanently, menu bar and search field included.
> 
> Thanks, Georg
> 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk


___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font size in help browser

[support]

On Fri, Nov 27, 2020 at 7:52 PM John Benediktsson  wrote:

> The easiest way, I suppose, to change all the font sizes is to increase
> this constant, and then refresh help.stylesheet, and restart:
>
> https://docs.factorcode.org/content/word-default-font-size,fonts.html
>
> We have a patch to make this a bit easier, but currently several of our
> libraries like the help system start by basing their font sizes on that
> default value.  I’d like that to hit master soon.
>
> You can also Ctrl +/- in the help browser to change font sizes.
>
>
The Crtl +/- thing doesn't appear to work for me either in windows nor linux


> Best,
> John.
>
> On Nov 27, 2020, at 7:48 PM, support  wrote:
>
> 
> Hi everyone.
>
> I was wondering how would I change the font size in the help browser and
> generally the IDE under Windows.
>
> I don't really want to have to change the font size in all the other
> unrelated windows.
>
> TIA,
> -Kevin
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font size in help browser

[John Benediktsson]

The easiest way, I suppose, to change all the font sizes is to increase this 
constant, and then refresh help.stylesheet, and restart:

https://docs.factorcode.org/content/word-default-font-size,fonts.html

We have a patch to make this a bit easier, but currently several of our 
libraries like the help system start by basing their font sizes on that default 
value.  I’d like that to hit master soon. 

You can also Ctrl +/- in the help browser to change font sizes. 

Best,
John.

> On Nov 27, 2020, at 7:48 PM, support  wrote:
> 
> 
> Hi everyone.
> 
> I was wondering how would I change the font size in the help browser and 
> generally the IDE under Windows.
> 
> I don't really want to have to change the font size in all the other 
> unrelated windows.
> 
> TIA,
> -Kevin
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] font size in help browser

[support]

Hi everyone.

I was wondering how would I change the font size in the help browser and
generally the IDE under Windows.

I don't really want to have to change the font size in all the other
unrelated windows.

TIA,
-Kevin
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Font

[Björn Lindqvist]

I think adding the images to the image would be neat. The icon for
Factor is already embedded in the image like you suggest. You can see
the code for that in basis/ui/backend/gtk/gtk.factor. Something like
that could be generalized to work for other images too. Then if you
are making a game or something, all your assets would be neatly packed
into a single .exe file.

2016-07-25 18:34 GMT+02:00 Alexander Ilin :
> Hello!
>
> 25.07.2016, 16:47, "John Benediktsson" :
>
> You can reset the memoized so then next time it gets called it will memoize
> again:
>
> IN: scratchpad \ windows-fonts reset-memoized
>
>
>
>   Hold on a second! Looking at the `startup-hooks`, I see one hook named
> "windows.fonts", and it does this:
> `[ \ (cache-font) reset-memoized ]`
>
>   Shouldn't we add `\ windows-fonts reset-memoized` to the same existing
> hook?
>
>
> You could probably put that in a .factor-rc if you need it run on startup.
>
>
>
>   No, I probably found a bug! : ) Let's fix the hook instead!
> https://github.com/factor/factor/pull/1678
>
>
> Why do you need those icon images cached in the Factor image?
>
>
>   I think it's a bit awkward to have everything in the image, except for the
> images.
>   Get it? Images?
>   Never mind.
>
> ---=---
> Александр
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
> patterns at an interface-level. Reveals which users, apps, and protocols are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning
> reports.http://sdm.link/zohodev2dev
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>



-- 
mvh/best regards Björn Lindqvist

--
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Font

[Alexander Ilin]

Hello! 25.07.2016, 16:47, "John Benediktsson" :You can reset the memoized so then next time it gets called it will memoize again:     IN: scratchpad \ windows-fonts reset-memoized    Hold on a second! Looking at the `startup-hooks`, I see one hook named "windows.fonts", and it does this:`[ \ (cache-font) reset-memoized ]`   Shouldn't we add `\ windows-fonts reset-memoized` to the same existing hook? You could probably put that in a .factor-rc if you need it run on startup.    No, I probably found a bug! : ) Let's fix the hook instead!https://github.com/factor/factor/pull/1678 Why do you need those icon images cached in the Factor image?   I think it's a bit awkward to have everything in the image, except for the images.  Get it? Images?  Never mind. ---=---Александр --
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports.http://sdm.link/zohodev2dev___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Font

[John Benediktsson]

You can reset the memoized so then next time it gets called it will memoize
again:

IN: scratchpad \ windows-fonts reset-memoized

You could probably put that in a .factor-rc if you need it run on startup.

Why do you need those icon images cached in the Factor image?



On Mon, Jul 25, 2016 at 1:43 AM, Alexander Ilin  wrote:

> Hello, John!
>
>   Thank you for the reply! Now I know exactly what the problem is.
>
>   I've `save`d an image on Win7, and running it on WinXP. Naturally, I
> have the wrong set of fonts MEMO-ized there.
>
>   What would be the best way to deal with this? Is it possible to create
> an image that's runnable on all supported Windows platforms? My goal is to
> have the minimal number of files in the distro.
>
>   A related question: is it possible to somehow cache all the images from
> basis/definitions/icons and
> basis/ui/tools/error-list/icons and
> basis/ui/theme/images
>   into the image-file? Is there a setting for that?
>
> 25.07.2016, 05:06, "John Benediktsson" :
>
> The Listener uses "monospace", which is bound to either Consolas
> or Courier New, depending on the Windows version:
>
>
> https://github.com/factor/factor/blob/master/basis/windows/fonts/fonts.factor#L6
>
> It might be that one of those is not available on your thumb drive setup
> and it uses some fallback font?
>
> You can change the listener font and font-size with ``set-listener-font``
> in ``ui.tools.listener``, for example:
>
> IN: scratchpad "Times New Roman" 16 set-listener-font
>
> On Sun, Jul 24, 2016 at 4:24 PM, Alexander Ilin  wrote:
>
> Hello!
>
>   What kind of font does the Listener use, and how do I configure it?
>
>   For me it's some kind of a nice fixed-width font. But when I copy the
> Factor on a thumb drive with a minimal set of files (factor.image, some
> DLLs, some tiffs in subfolders) the Listener's font is something weird, and
> not fixed-width. I wonder if I miss some file on my thumbdrive
> installation, or is that due to some setting in Windows on the target
> machine.
>
>
> ---=---
> Александр
>
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and
> traffic
> patterns at an interface-level. Reveals which users, apps, and protocols
> are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning
> reports.http://sdm.link/zohodev2dev
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports.http://sdm.link/zohodev2dev___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Font

[Alexander Ilin]

Hello, John!   Thank you for the reply! Now I know exactly what the problem is.   I've `save`d an image on Win7, and running it on WinXP. Naturally, I have the wrong set of fonts MEMO-ized there.   What would be the best way to deal with this? Is it possible to create an image that's runnable on all supported Windows platforms? My goal is to have the minimal number of files in the distro.   A related question: is it possible to somehow cache all the images from    basis/definitions/icons and    basis/ui/tools/error-list/icons and    basis/ui/theme/images  into the image-file? Is there a setting for that? 25.07.2016, 05:06, "John Benediktsson" :The Listener uses "monospace", which is bound to either Consolas or Courier New, depending on the Windows version:     https://github.com/factor/factor/blob/master/basis/windows/fonts/fonts.factor#L6 It might be that one of those is not available on your thumb drive setup and it uses some fallback font? You can change the listener font and font-size with ``set-listener-font`` in ``ui.tools.listener``, for example:     IN: scratchpad "Times New Roman" 16 set-listener-fontOn Sun, Jul 24, 2016 at 4:24 PM, Alexander Ilin  wrote:Hello!    What kind of font does the Listener use, and how do I configure it?    For me it's some kind of a nice fixed-width font. But when I copy the Factor on a thumb drive with a minimal set of files (factor.image, some DLLs, some tiffs in subfolders) the Listener's font is something weird, and not fixed-width. I wonder if I miss some file on my thumbdrive installation, or is that due to some setting in Windows on the target machine. ---=---Александр --
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports.http://sdm.link/zohodev2dev___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Font

[John Benediktsson]

The Listener uses "monospace", which is bound to either Consolas or Courier
New, depending on the Windows version:


https://github.com/factor/factor/blob/master/basis/windows/fonts/fonts.factor#L6

It might be that one of those is not available on your thumb drive setup
and it uses some fallback font?

You can change the listener font and font-size with ``set-listener-font``
in ``ui.tools.listener``, for example:

IN: scratchpad "Times New Roman" 16 set-listener-font





On Sun, Jul 24, 2016 at 4:24 PM, Alexander Ilin  wrote:

> Hello!
>
>   What kind of font does the Listener use, and how do I configure it?
>
>   For me it's some kind of a nice fixed-width font. But when I copy the
> Factor on a thumb drive with a minimal set of files (factor.image, some
> DLLs, some tiffs in subfolders) the Listener's font is something weird, and
> not fixed-width. I wonder if I miss some file on my thumbdrive
> installation, or is that due to some setting in Windows on the target
> machine.
>
> ---=---
>  Александр
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and
> traffic
> patterns at an interface-level. Reveals which users, apps, and protocols
> are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning
> reports.http://sdm.link/zohodev2dev
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports.http://sdm.link/zohodev2dev___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] Font

[Alexander Ilin]

Hello!

  What kind of font does the Listener use, and how do I configure it?

  For me it's some kind of a nice fixed-width font. But when I copy the Factor 
on a thumb drive with a minimal set of files (factor.image, some DLLs, some 
tiffs in subfolders) the Listener's font is something weird, and not 
fixed-width. I wonder if I miss some file on my thumbdrive installation, or is 
that due to some setting in Windows on the target machine.

---=---
 Александр

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity planning
reports.http://sdm.link/zohodev2dev
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] font-size in label of labeled-gadget

[Georg Simon]

To change the font-size of the label of a labeled-gadget I search
two children lists:

: default-font ( gadget -- ) 16 swap font size ;

: labeled-gadget-with-default-font ( gadget title -- gadget' )
labeled-gadget
dup children [ border? ] find nip
children [ label? ] find nip
default-font ;

(https://github.com/GeorgSimon/factor/blob/master/outline-manager/outline-manager.factor)

Is there a better way to change the font-size ?

Georg

-- 
Factor ist eine verkettende Programmiersprache.
Vorsicht: Factor kann deinen Programmierstil ändern.
FactorProgrammierung.isthier.de Factor-Programmierung.isthier.de

--
Get your SQL database under version control now!
Version control is standard for application code, but databases havent 
caught up. So what steps can you take to put your SQL databases under 
version control? Why should you start doing it? Read more to find out.
http://pubads.g.doubleclick.net/gampad/clk?id=49501711iu=/4140/ostg.clktrk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font-size in label of labeled-gadget

[John Benediktsson]

Oh, I see, you want to change the font size of the label in the border,
probably it would be better to do what you're doing, but making it a
utility word:

: change-labeled-font ( labeled-gadget quot: ( font -- font' ) -- )
[
children [ border? ] find nip
children [ label? ] find nip
] [ change-font drop ] bi* ; inline



On Tue, Jul 30, 2013 at 3:53 PM, John Benediktsson mrj...@gmail.com wrote:

 If you just want to change the font-size of the gadget inside the labeled
 gadget, then you should just:

 : labeled-gadget-with-default-font ( gadget title -- gadget' )
 [ drop default-font ] [ labeled-gadget ] 2bi ;

  or perhaps:

 : set-default-font ( labeled-gadget -- )
 content default-font ;

 does that work for you?



 On Tue, Jul 30, 2013 at 7:32 AM, Georg Simon georg.si...@auge.de wrote:

 To change the font-size of the label of a labeled-gadget I search
 two children lists:
 
 : default-font ( gadget -- ) 16 swap font size ;

 : labeled-gadget-with-default-font ( gadget title -- gadget' )
 labeled-gadget
 dup children [ border? ] find nip
 children [ label? ] find nip
 default-font ;
 
 (
 https://github.com/GeorgSimon/factor/blob/master/outline-manager/outline-manager.factor
 )
 
 Is there a better way to change the font-size ?

 Georg

 --
 Factor ist eine verkettende Programmiersprache.
 Vorsicht: Factor kann deinen Programmierstil ändern.
 FactorProgrammierung.isthier.de Factor-Programmierung.isthier.de


 --
 Get your SQL database under version control now!
 Version control is standard for application code, but databases havent
 caught up. So what steps can you take to put your SQL databases under
 version control? Why should you start doing it? Read more to find out.

 http://pubads.g.doubleclick.net/gampad/clk?id=49501711iu=/4140/ostg.clktrk
 ___
 Factor-talk mailing list
 Factor-talk@lists.sourceforge.net
 https://lists.sourceforge.net/lists/listinfo/factor-talk



--
Get your SQL database under version control now!
Version control is standard for application code, but databases havent 
caught up. So what steps can you take to put your SQL databases under 
version control? Why should you start doing it? Read more to find out.
http://pubads.g.doubleclick.net/gampad/clk?id=49501711iu=/4140/ostg.clktrk___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font-size in label of labeled-gadget

[Georg Simon]

Am Tue, 30 Jul 2013 16:20:54 -0700
schrieb John Benediktsson mrj...@gmail.com:

 Oh, I see, you want to change the font size of the label in the
 border, probably it would be better to do what you're doing, but
 making it a utility word:
 
 : change-labeled-font ( labeled-gadget quot: ( font -- font' ) -- )
 [
 children [ border? ] find nip
 children [ label? ] find nip
 ] [ change-font drop ] bi* ; inline
 
 
Yes. Thank you.

-- 
Factor ist eine verkettende Programmiersprache.
Vorsicht: Factor kann deinen Programmierstil ändern.
FactorProgrammierung.isthier.de Factor-Programmierung.isthier.de

--
Get your SQL database under version control now!
Version control is standard for application code, but databases havent 
caught up. So what steps can you take to put your SQL databases under 
version control? Why should you start doing it? Read more to find out.
http://pubads.g.doubleclick.net/gampad/clk?id=49501711iu=/4140/ostg.clktrk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] font-size in listener

[Georg Simon]

Is it possible to change the font-size in the listener?

Georg

-- 
Factor ist eine verkettende Programmiersprache.
Vorsicht: Factor kann deinen Programmierstil ändern.
FactorProgrammierung.isthier.de Factor-Programmierung.isthier.de

--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with application monitoring from AppDynamics
Isolate bottlenecks and diagnose root cause in seconds.
Start your free trial of AppDynamics Pro today!
http://pubads.g.doubleclick.net/gampad/clk?id=48808831iu=/4140/ostg.clktrk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font-size in listener

[Ales Guzik]

Hi.

You may use the following:
DejaVu Sans Mono 36 set-listener-font

Ales.


On 17.07.2013 13:40, Georg Simon wrote:
 Is it possible to change the font-size in the listener?
 
 Georg
 


-- 
 Ales Guzik pub...@aguzik.net
 skype: ales-guzik
 tel: +375 29 5751103

--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with application monitoring from AppDynamics
Isolate bottlenecks and diagnose root cause in seconds.
Start your free trial of AppDynamics Pro today!
http://pubads.g.doubleclick.net/gampad/clk?id=48808831iu=/4140/ostg.clktrk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] font-size in listener

[Georg Simon]

Am Wed, 17 Jul 2013 14:01:21 +0300
schrieb Ales Guzik pub...@aguzik.net:

 Hi.
 
 You may use the following:
 DejaVu Sans Mono 36 set-listener-font
 
 Ales.

Great. Thank you

--
See everything from the browser to the database with AppDynamics
Get end-to-end visibility with application monitoring from AppDynamics
Isolate bottlenecks and diagnose root cause in seconds.
Start your free trial of AppDynamics Pro today!
http://pubads.g.doubleclick.net/gampad/clk?id=48808831iu=/4140/ostg.clktrk
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk