Menu
▾
▴
Re: [Factor-talk] font sizes in browser und listener
|
From: John B. <mr...@gm...> - 2023-09-21 18:13:41
|
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr"><a href="https://discord.gg/QxJYZx3QDf">https://discord.gg/QxJYZx3QDf</a><br></div><div dir="ltr"><br></div><div dir="ltr"><br><blockquote type="cite">On Sep 21, 2023, at 10:48 AM, CW Alston <cwa...@gm...> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><div dir="ltr">Hi -- Just joined Discord! How do I find the Factor server there?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 21, 2023 at 9:33 AM John Benediktsson <<a href="mailto:mr...@gm...">mr...@gm...</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="line-break:after-white-space">Yes, and we would be happy to help assist. <div><br></div><div>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:</div><div><br></div><div><a href="https://github.com/factor/factor/issues/2876" target="_blank">https://github.com/factor/factor/issues/2876</a><br></div><div></div><div><div><br></div><div><br></div><div><br><blockquote type="cite"><div>On Sep 21, 2023, at 9:00 AM, Krisztián Schaffer <<a href="mailto:sch...@gm..." target="_blank">sch...@gm...</a>> wrote:</div><br><div><div dir="ltr"><i>Is that something a newcomer can do?</i><div><br></div><div>Hello,<br><br>This is my first post here.<br><br>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.<br><br>Do you think this issue would be a good starting point?<br><br>Thanks,<br>Krisztián<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">John Benediktsson <<a href="mailto:mr...@gm..." target="_blank">mr...@gm...</a>> ezt írta (időpont: 2023. szept. 21., Cs, 17:24):<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="auto">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. </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 21, 2023 at 8:22 AM Georg Simon <<a href="mailto:geo...@au..." target="_blank">geo...@au...</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">Yes restart and yes new listener window.<br> <br> For instance I can start the listener and enter "today".<br> I get an error message with two tiny lines. <br> I choose "Use the calendar vocabulary" and get some more tiny messages.<br> <br> Am Thu, 21 Sep 2023 08:04:48<br> -0700 schrieb John Benediktsson <<a href="mailto:mr...@gm..." target="_blank">mr...@gm...</a>>:<br> <br> > Did you restart Factor after saving? Or open a new listener window?<br> > <br> > I noticed the tips of the day at the top don’t properly grow in size<br> > and that needs to be fixed. <br> > <br> > <br> > <br> > > On Sep 21, 2023, at 7:19 AM, Georg Simon <<a href="mailto:geo...@au..." target="_blank">geo...@au...</a>><br> > > wrote:<br> > > <br> > > Thank you, much better now.<br> > > Only the messages printed by the listener are still tiny.<br> > > <br> > > Am Tue, 19 Sep 2023 06:27:45 -0700<br> > > schrieb John Benediktsson <<a href="mailto:mr...@gm..." target="_blank">mr...@gm...</a>>:<br> > > <br> > >> The quickest way is to change the default-font-size in the fonts<br> > >> vocab to be larger.<br> > >> <br> > >> IN: fonts<br> > >> CONSTANT: default-font-size 36<br> > >> “help.stylesheet” reload<br> > >> save<br> > >> <br> > >> <br> > >>> On Sep 19, 2023, at 12:56 AM, Georg Simon <<a href="mailto:geo...@au..." target="_blank">geo...@au...</a>><br> > >>> wrote:<br> > >>> <br> > >>> Using now 2560x1600 pixels I would like to change all font sizes<br> > >>> permanently, menu bar and search field included.<br> > >>> <br> > >>> Thanks, Georg<br> > >>> <br> > >>> <br> > >>> _______________________________________________<br> > >>> Factor-talk mailing list<br> > >>> <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> > >>> <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a> <br> > >> <br> > >> <br> > >> _______________________________________________<br> > >> Factor-talk mailing list<br> > >> <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> > >> <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a> <br> > > <br> > > <br> > > <br> > > _______________________________________________<br> > > Factor-talk mailing list<br> > > <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> > > <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a> <br> > <br> > <br> > _______________________________________________<br> > Factor-talk mailing list<br> > <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> > <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a><br> <br> <br> <br> _______________________________________________<br> Factor-talk mailing list<br> <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a><br> </blockquote></div></div> _______________________________________________<br> Factor-talk mailing list<br> <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a><br> </blockquote></div> _______________________________________________<br>Factor-talk mailing list<br><a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br><a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a><br></div></blockquote></div><br></div></div>_______________________________________________<br> Factor-talk mailing list<br> <a href="mailto:Fac...@li..." target="_blank">Fac...@li...</a><br> <a href="https://lists.sourceforge.net/lists/listinfo/factor-talk" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/factor-talk</a><br> </blockquote></div><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><i>~ Memento Amori</i></div> <span>_______________________________________________</span><br><span>Factor-talk mailing list</span><br><span>Fac...@li...</span><br><span>https://lists.sourceforge.net/lists/listinfo/factor-talk</span><br></div></blockquote></body></html> |
