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 <mrj...@gmail.com <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 <georg.si...@auge.de >> <mailto:georg.si...@auge.de>> 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 <mrj...@gmail.com >>> <mailto: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 >>> > > <mailto: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 <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 <georg.si...@auge.de >>> > >>> <mailto: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 >>> > >>> <mailto:Factor-talk@lists.sourceforge.net> >>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > >> >>> > >> >>> > >> _______________________________________________ >>> > >> Factor-talk mailing list >>> > >> Factor-talk@lists.sourceforge.net >>> > >> <mailto:Factor-talk@lists.sourceforge.net> >>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > > >>> > > >>> > > >>> > > _______________________________________________ >>> > > Factor-talk mailing list >>> > > Factor-talk@lists.sourceforge.net >>> > > <mailto:Factor-talk@lists.sourceforge.net> >>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > >>> > >>> > _______________________________________________ >>> > Factor-talk mailing list >>> > Factor-talk@lists.sourceforge.net >>> > <mailto:Factor-talk@lists.sourceforge.net> >>> > https://lists.sourceforge.net/lists/listinfo/factor-talk >>> >>> >>> >>> _______________________________________________ >>> Factor-talk mailing list >>> Factor-talk@lists.sourceforge.net <mailto:Factor-talk@lists.sourceforge.net> >>> https://lists.sourceforge.net/lists/listinfo/factor-talk >> _______________________________________________ >> Factor-talk mailing list >> Factor-talk@lists.sourceforge.net <mailto: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
