On Thu, Mar 25, 2010 at 10:55 AM, Murray Eisenberg <[email protected]> wrote: > First, a question: How do I (easily, I hope) change the font size in the > browser window -- without, of course, resorting to changing the > browser's own magnification/zoom factor?
I imagine you could edit the html that jhs sends to include a specific font declaration. This is early beta, though. > Second, some comments: Restricting things to a browser interface alone > is the wrong way to go -- driven more, I fear, by the desire to minimize > development effort than out of any actual improvement in the user > interface. This is an early beta. I think you missed the statements about how they will be supporting other front ends. > Unless there are dramatic improvements in usability, I am very likely to > give up J entirely. And as a user of J from its beginning, and of APL > before that, that is something I would not do lightly or happily. This is a complete rewrite, from the ground up, of the entire front end architecture for J. They have to start somewhere. Getting all doom and gloom because they do not start at the finish line seems out of place to me. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
