Hi -- Just joined Discord! How do I find the Factor server there? On Thu, Sep 21, 2023 at 9:33 AM John Benediktsson <[email protected]> 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 < > [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]> 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]> 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]>: >>> >>> > 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]> >>> > > 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]>: >>> > > >>> > >> 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]> >>> > >>> 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] >>> > >>> 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 >>> > >>> > >>> > _______________________________________________ >>> > 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 >>> >> _______________________________________________ >> 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 > > > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk > -- *~ Memento Amori*
_______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
