d6b545a10b
html.streams: fix tests.
2015-09-14 20:32:45 -07:00
ba3f342bf1
help.html: cleanup extra spaces.
2015-09-14 15:43:33 -07:00
46587f8457
factor: arch -> arch-name. fix breakage caused by other patch.
2015-08-12 11:08:24 -05:00
330c7ba156
factor: Removing SLOT: nth/at/global in favor of using change: at for tuple slots named ``at`` and change-at for hashtables.
...
Redo many FROM: and QUALIFIED: and using lists.
2015-08-12 08:49:02 -05:00
4561bd88a3
html.streams: rename image-path to icon-path
2015-07-20 00:10:56 -07:00
892c62e1dc
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
2015-07-03 09:39:59 -07:00
59f3b1ea57
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!"
...
Needs a bit more work.
This reverts commit 7e54cc2824
2015-07-02 13:47:06 -07:00
7e54cc2824
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
2015-07-02 11:36:08 -07:00
ab4e380c04
html.streams: allow non-equal padding values.
2013-04-11 14:47:57 -07:00
6b94cf2e7f
html.streams: this was actually simpler.
2013-04-11 14:35:43 -07:00
44657db94e
html.streams: cleanup borders on html tables.
2013-04-11 12:20:41 -07:00
8c19602ae9
assocs: Add of and ?of. Change all the things at once! Fixes #701 .
2013-03-23 14:59:07 -07:00
13b17fb84a
io: input-stream and output-stream mixins
2011-10-18 16:25:09 -07:00
1987deb359
Fix M: stack effects.
2011-10-13 16:41:17 -07:00
9edab21aeb
html.streams: fix typo in stack effect for emit-html.
2010-09-10 13:22:42 -07:00
0c5f2be355
html.streams: fixed broken unit-test
2009-10-13 08:54:37 -04:00
4743ffdc18
help.html: with-nesting-block now maps to an HTML DIV with display: inline-block CSS style
...
This change allowed me to remove the old hack that suppressed newlines
in the stream if they occurred immediately after a DIV.
2009-10-04 07:17:54 -04:00
405e5d015b
docs: change $subsection to $subsections
2009-10-02 12:15:48 -04:00
835cd68284
html.streams: change how images work; webapps.help: support definition icons
2009-09-23 20:56:47 -05:00
d552ce8ef6
html.streams: the 'image' character stream style now generates an <img> HTML element
...
NOTE: You must manually copy your image resources to your web server
such that the images are available from the "/images" root URL.
For example, if your resource is "vocab:definitions/icons/normal-word.tiff"
then it should be copied such that it is available via the following URL:
"http://myserver.org/images/basis/definitions/icon/normal-word.tiff "
(the original path is first normalized and then the Factor root prefix
is stripped away).
NOTE: Factor's definition-icons are in TIFF format, which appears to be
supported out-of-the-box by very few web browsers (namely Safari).
Perhaps we should switch from TIFF to GIF or PNG? Are these vocabs
ready to be used?
2009-09-22 09:06:56 -04:00
a96e828d7c
io.styles: renamed the 'border-width' style to 'inset'. inset takes a pair of 2 numbers (horizontal and vertical insets)
2009-09-09 15:50:25 -04:00
66a9416473
Update documentation for stricter vocabulary search path semantics
2009-05-16 00:29:21 -05:00
9d44b7620f
Fixing the build
2009-03-18 17:01:26 -05:00
dd9cf39467
Fix conflict in libc
2009-02-06 05:10:41 -06:00
86c3481f12
Moving XML vocabularies around
2009-02-05 21:17:03 -06:00
69938925ee
Fix conflict
2009-01-31 22:41:26 -06:00
4e779820b8
Fix load error
2009-01-31 21:23:56 -06:00
0408788518
Rewrite html.streams to use xml.literals
2009-01-31 20:44:17 -06:00
42c3c3383a
Merge branch 'master' into new_ui
2009-01-31 03:03:39 -06:00
a6a1b56169
Merge branch 'master' of git://factorcode.org/git/factor
2009-01-30 19:53:49 -06:00
d4f865d5f0
Fixing some things I broke
2009-01-30 19:28:16 -06:00
406943630d
Merge branch 'master' into new_ui
2009-01-30 15:32:41 -06:00
e5897b5ef7
Remove bogus dependencies
2009-01-30 15:28:53 -06:00
0a0431e6ab
Fix conflict
2009-01-30 02:24:34 -06:00
3c408342ef
renaming: contain? -> any?, deep-contains? -> deep-any?, pad-left -> pad-head, pad-right -> pad-tail, trim-left -> trim-head, trim-right -> trim-tail
2009-01-29 22:19:07 -06:00
5aec661b92
Rename font key in io.styles to font-name for clarity; clean up some nefarious stack shuffling in ui.gadgets.panes
2009-01-26 16:25:57 -06:00
e5ed7447ed
Removing more >r/r> usages
2008-12-03 08:46:16 -06:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
f9670ef366
Fix HTML doc generation bugs
2008-09-29 19:43:59 -05:00
e62f068db7
html.streams now emits clickable URLs for $url markup elements
2008-09-29 04:09:02 -05:00
c03d4ff7d6
Better help.lint, fix some typos
2008-09-24 00:45:49 -05:00
f435e1cf75
Docs for html.*
2008-09-23 22:01:26 -05:00
79f3865f92
Add missing meta-data
2008-09-23 16:11:59 -05:00
cf80dd122a
Updating code for make and fry changes
2008-09-10 22:11:40 -05:00
8a921c791c
if-empty changes
2008-09-06 19:13:59 -05:00
724fae53e9
Move web framework to basis
2008-09-04 18:15:13 -05:00
John Benediktsson
Doug Coleman
Joe Groff
Keith Lazuka
Slava Pestov
Slava Pestov
Daniel Ehrenberg