Re: [Factor-talk] Factor UI tweaks - pull request

2009-09-12 Thread Keith Lazuka
Slava, I made the changes. Please pull my "ui" branch (http://github.com/klazuka/factor/tree/ui). I tested it with a full bootstrap, plus help-lint-all, and some unit tests. In the next few days I will make the changes to colors.constants to support rgba txt file entries. Thanks for all your fee

Re: [Factor-talk] Factor UI tweaks - pull request

2009-09-12 Thread Keith Lazuka
John, I have some further UI tweaks that are almost finished. After they are merged, it will be simple to regenerate the HTML help files (the CSS file is constructed directly from the formatted stream styles). Sent from my iPhone On Sep 12, 2009, at 6:39 AM, John Benediktsson wrote: > Hi K

Re: [Factor-talk] Factor UI tweaks - pull request

2009-09-12 Thread John Benediktsson
Hi Keith, I really like the UI changes you've been making to syntax highlight Factor source code. Perhaps you could have a look at the docs website, which is pretty useful, and use a similar stylesheet? Thanks, John. --

Re: [Factor-talk] Factor UI tweaks - pull request

2009-09-11 Thread Slava Pestov
Hi Keith, Sorry for the delay in reviewing these changes. I have some feedback on your code, once you make these changes I will merge them in: - In the help for with-nested-style, you have a 'top level' string after the $description. It should be inside a $notes - You might want to look for other

[Factor-talk] Factor UI tweaks - pull request

2009-09-10 Thread Keith Lazuka
My latest patchset of UI tweaks is ready: http://github.com/klazuka/factor/tree/ui (the 7 most recent commits) Nearly all of the changes are purely cosmetic. The only significant change that affects downstream is the renaming of 'border-width' in the io.styles vocab to "inset". This new "inset" st