On Sep 21, 2023, at 10:48 AM, CW Alston <cwalsto...@gmail.com> wrote:
Hi -- Just joined Discord! How do I find the Factor server there? 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:
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 < 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. 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 <mrj...@gmail.com>:
> 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 <georg.si...@auge.de>
> > 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 <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 <georg.si...@auge.de>
> >>> 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.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
|
