Björn Lindqvist
|
10464e7e4e
|
VM: LEAF_FRAME_SIZE is 16 bytes on all platforms so we can simplify it
|
2015-08-26 20:23:15 +02:00 |
John Benediktsson
|
8db66d9dd3
|
ui.gestures: update action gesture docs, thanks @jonenst!
|
2015-08-24 10:27:00 -07:00 |
|
John Benediktsson
|
e45e669fd6
|
locals.parser: change docs for with-lambda-scope.
|
2015-08-24 10:21:35 -07:00 |
|
John Benediktsson
|
3154e70b88
|
vocabs.metadata: add some tests.
|
2015-08-23 18:43:36 -07:00 |
|
John Benediktsson
|
087b8df798
|
vocabs.metadata: fix for error refactoring.
|
2015-08-23 18:37:34 -07:00 |
|
Björn Lindqvist
|
59b7a50567
|
VM: removing the get_datastack/retainstack/callstack primitives
they can all be implemented using the
datastack/retainstack/callstack-for primitives and the less primitives
the better!
|
2015-08-23 18:36:30 -07:00 |
Doug Coleman
|
f6c1d00c37
|
ui.baseline-alignment: Don't divide f by 2. Also, can't put ``0 or`` after
``max-cap-height`` because it breaks something else.
|
2015-08-19 17:20:45 -05:00 |
|
Doug Coleman
|
3649dd2764
|
ui.backend.cocoa.views: Don't throw an error on weird mouse buttons. Fixes #1453.
|
2015-08-18 23:22:55 -07:00 |
|
John Benediktsson
|
e8cc383388
|
minor cleanup.
|
2015-08-17 20:32:28 -07:00 |
|
John Benediktsson
|
399d01f56e
|
strings.parser: finish removing triple-strings.
parse-string => parse-short-string (on the same line)
parse-multiline-string-until => parse-full-string
|
2015-08-17 19:49:12 -07:00 |
|
John Benediktsson
|
ff880262cb
|
ui.gadgets.editors: make it easier to set and get default-text.
|
2015-08-16 14:29:21 -07:00 |
|
John Benediktsson
|
6de244da44
|
ui.tools.browser: use default-text to make search box prettier.
|
2015-08-16 13:45:29 -07:00 |
|
John Benediktsson
|
f24444e990
|
ui.gadgets.editors: allow action-fields to have a default text.
|
2015-08-16 13:45:16 -07:00 |
|
John Benediktsson
|
f3608deb63
|
ui.tools.browser: better to remove page-color than change it.
|
2015-08-16 12:58:38 -07:00 |
|
John Benediktsson
|
7dd0acbf0f
|
help.stylesheet: add back page-color and override in ui.tools.browser.
|
2015-08-16 12:54:56 -07:00 |
|
John Benediktsson
|
c957ab876c
|
prettyprint: fix for -> rename.
|
2015-08-16 12:39:08 -07:00 |
|
John Benediktsson
|
ace299b5c7
|
help: fix some html navigation styles.
|
2015-08-16 11:38:38 -07:00 |
|
John Benediktsson
|
81cbf71d27
|
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
|
2015-08-16 11:33:24 -07:00 |
|
John Benediktsson
|
92762cb56b
|
help.html: fix navigation links at top.
|
2015-08-16 11:33:24 -07:00 |
|
Doug Coleman
|
f414323d1d
|
prettyprint: change -> to => for newparser and -> cocoa syntax. Alternatives are possible.
|
2015-08-16 10:59:03 -07:00 |
|
John Benediktsson
|
6b440e5e81
|
ui.gadgets: fix help-lint warnings.
|
2015-08-16 10:46:28 -07:00 |
|
John Benediktsson
|
15b0753457
|
ui.gadgets: fix some tests.
|
2015-08-16 10:41:16 -07:00 |
|
John Benediktsson
|
29d4908ff5
|
ui.gadgets: move some buttons-tests to toolbar-tests.
|
2015-08-16 10:33:52 -07:00 |
|
John Benediktsson
|
bfbab98d57
|
ui.tools.browser: remove spacer for right now...
...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
|
2015-08-16 10:22:11 -07:00 |
|
John Benediktsson
|
cb575c1ba8
|
ui.gadgets.labeled: separate title-bar-interior with a comment why.
|
2015-08-16 08:04:58 -07:00 |
nicolas-p
|
87a31f1f35
|
ui.gadgets.labeled: fixed USING
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
61f8db4c81
|
ui.gadgets.theme.light: colour changes
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
b81a5f9c7a
|
ui.gadgets.labeled: flat colour on windows because of the gradient bug
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
2a7cc29693
|
ui.tools.walker: improved status text
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
d71f7b955e
|
help: fixed USING
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
bfb81f67cf
|
ui.tools.browser: navigation fix
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
fff4ea78ec
|
ui.gadgets.color: changed error colour
Reverted a previous unintentional change
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
bab79fe04c
|
ui.theme.light: using HEXCOLOR
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
1817a4b8cb
|
Refactored prev/next buttons code
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
706fe6eb4e
|
help: Added arrows in prev/next links
|
2015-08-16 07:53:34 -07:00 |
|
nicolas-p
|
55c994f1c1
|
ui.gadgets.scrollers: removed 1-px gap
|
2015-08-16 07:53:34 -07:00 |
|
nicolas-p
|
bf2b829846
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
23a1174e81
|
Fixed USING in slots and deploy
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
9f8736c13c
|
Moved toolbar docs
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
355e14cb5b
|
New buttons
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
9d5336777d
|
Toolbar button pressed background
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
4335698ceb
|
ui.gadgets.colors: Several colour changes
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
a0eaf7a66b
|
Fixed alignment issue in toolbars
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
40c6e04128
|
Fixed USING:
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
279795dbfd
|
Red/orange/green thread status in Walker
John did most of the work
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
61552d2901
|
Simplified toolbar code
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
2e067a3705
|
Small change in roll button colour
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
883d7e09d9
|
Other small adjustment in browser toolbar
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
32ae5da655
|
Small adjustments in browser toolbar
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
c0e253a4a5
|
Revert previous colour change
Changed my mind
|
2015-08-16 07:53:31 -07:00 |