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 > <[email protected]> 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 <[email protected] <mailto:[email protected]>> 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 <[email protected] >> <mailto:[email protected]>> 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 <[email protected] >>> <mailto:[email protected]>>: >>> >>> > 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 <[email protected] >>> > > <mailto:[email protected]>> >>> > > 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 <[email protected] <mailto:[email protected]>>: >>> > > >>> > >> 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 <[email protected] >>> > >>> <mailto:[email protected]>> >>> > >>> 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 >>> > >>> [email protected] >>> > >>> <mailto:[email protected]> >>> > >>> https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > >> >>> > >> >>> > >> _______________________________________________ >>> > >> Factor-talk mailing list >>> > >> [email protected] >>> > >> <mailto:[email protected]> >>> > >> https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > > >>> > > >>> > > >>> > > _______________________________________________ >>> > > Factor-talk mailing list >>> > > [email protected] >>> > > <mailto:[email protected]> >>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk >>> > >>> > >>> > _______________________________________________ >>> > Factor-talk mailing list >>> > [email protected] >>> > <mailto:[email protected]> >>> > https://lists.sourceforge.net/lists/listinfo/factor-talk >>> >>> >>> >>> _______________________________________________ >>> Factor-talk mailing list >>> [email protected] <mailto:[email protected]> >>> https://lists.sourceforge.net/lists/listinfo/factor-talk >> _______________________________________________ >> Factor-talk mailing list >> [email protected] <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/factor-talk > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk
_______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
