John Benediktsson
|
2c4ed220b5
|
ui.gadgets.tabbed: use named color constant.
|
2015-07-19 12:49:34 -07:00 |
|
John Benediktsson
|
035ccf7984
|
ui.gadgets.grid-lines: fix using.
|
2015-07-18 18:30:16 -07:00 |
|
John Benediktsson
|
72e19fe79a
|
ui.gadgets.grid-lines: fix tests.
|
2015-07-18 18:28:00 -07:00 |
|
John Benediktsson
|
f9cb9765ee
|
ui.gadgets.grid-lines: fix rough edges on right and bottom.
|
2015-07-18 14:56:57 -07:00 |
|
John Benediktsson
|
66f6416d34
|
ui: add some $quotation help.
|
2015-07-18 10:57:37 -07:00 |
|
John Benediktsson
|
ed98332263
|
ui.gadgets.buttons: simplify.
|
2015-07-14 15:43:58 -07:00 |
|
John Benediktsson
|
1431c33f1f
|
ui.gadgets.status-bar: use color constants.
|
2015-07-14 15:29:25 -07:00 |
|
John Benediktsson
|
098a07ed59
|
ui.gadgets.buttons: add button quot effect.
|
2015-07-14 15:29:06 -07:00 |
|
John Benediktsson
|
dce364faa2
|
ui.gadgets.labels: trigger relayout when string changes.
|
2015-07-10 14:06:53 -07:00 |
Doug Coleman
|
892c62e1dc
|
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
|
2015-07-03 09:39:59 -07:00 |
|
Doug Coleman
|
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 |
|
Doug Coleman
|
7e54cc2824
|
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
|
2015-07-02 11:36:08 -07:00 |
|
Doug Coleman
|
999aa7c897
|
factor: clean up spaces in -tests files
|
2015-07-02 10:34:01 -07:00 |
|
Doug Coleman
|
e3cb325040
|
factor: clean up whitespace in -docs files
|
2015-07-02 10:31:22 -07:00 |
|
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
Mark Green
|
fe2c2d23de
|
Adding help for <model-field> and <action-field>.
|
2015-02-21 18:39:04 -08:00 |
|
John Benediktsson
|
14b3261bef
|
ui: cleanup some using lists.
|
2015-01-29 11:41:18 -08:00 |
|
John Benediktsson
|
f6af1da32f
|
ui: use control-value/set-control-value in a few places.
|
2014-12-17 13:05:00 -08:00 |
|
John Benediktsson
|
49bcbaee7a
|
removing small and unnecessary files.
|
2014-11-29 17:24:42 -08:00 |
Björn Lindqvist
|
001acde590
|
math.vectors: new word v>integer = [ >integer ] map
|
2014-11-17 19:02:12 -08:00 |
Benjamin Pollack
|
2c3dd8c3c8
|
Remove executable bit from tons of files that aren't
|
2014-11-05 20:40:42 -08:00 |
|
John Benediktsson
|
c96bf37b3a
|
ui.gadgets.tables: show summary for mouse row or selected row.
|
2014-10-24 16:32:21 -07:00 |
|
John Benediktsson
|
6767928091
|
ui.gadgets.buttons: use hide-status on button-leave.
|
2014-10-24 16:30:29 -07:00 |
|
Doug Coleman
|
68446b047b
|
ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026.
|
2014-08-05 10:03:17 -07:00 |
|
Björn Lindqvist
|
60ffe0680e
|
kernel: new combinator 2with = with with
|
2014-07-22 07:40:13 -07:00 |
|
Doug Coleman
|
57cdc841c3
|
ui: Add a floating-window window-contol for opening floating windows in a tiling window manager on gtk. Use this style on the help browser, inspector, and deploy windows. Please report any other windows that need this flag since I don't regularly use a tiling window manager. Tested on Ubuntu 14.04 64bit with i3 window manager. Fixes #1026.
|
2014-07-16 02:26:52 -07:00 |
|
Doug Coleman
|
d614084550
|
opengl.capabilities: Apply @jonenst's suggestions for gl-version failures with mesa opengl.
|
2014-06-07 21:48:20 -07:00 |
|
John Benediktsson
|
57f9d78892
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
|
John Benediktsson
|
98935b7f15
|
docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
|
2014-05-18 20:09:10 -07:00 |
|
John Benediktsson
|
d44cc17161
|
update docs for help.lint checks.
|
2013-08-24 11:39:31 -07:00 |
|
John Benediktsson
|
63ee0de2f1
|
ui.gadgets.worlds: remove fonts slot from docs.
|
2013-08-13 08:49:43 -07:00 |
|
Doug Coleman
|
c1b4bcb58e
|
ui.gadgets.slider: Rename.
|
2013-03-23 16:47:04 -07:00 |
|
Doug Coleman
|
0b5c1b79c1
|
ui.gadgets: Rename grid-layout.
|
2013-03-23 16:41:02 -07:00 |
|
Doug Coleman
|
8c19602ae9
|
assocs: Add of and ?of. Change all the things at once! Fixes #701.
|
2013-03-23 14:59:07 -07:00 |
|
John Benediktsson
|
a46bcfe85c
|
ui.gadgets.editors: fix stack effect of change-caret quotation.
|
2012-12-28 17:01:32 -08:00 |
|
Doug Coleman
|
1a5f2ad961
|
ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get deleted when Factor exits. Fixes #548. Add paste-selection, but commented out for now.
|
2012-10-29 10:56:34 -07:00 |
|
John Benediktsson
|
225e87339b
|
update some docs that should use $quotation.
|
2012-09-27 11:09:17 -07:00 |
|
John Benediktsson
|
5e57a8258d
|
ui.gadgets.paragraphs: cache width in "line" object.
|
2012-09-24 18:29:51 -07:00 |
|
John Benediktsson
|
be85b3bee3
|
ui: hand-loc and hand-click-loc should be global.
|
2012-09-21 18:32:43 -07:00 |
|
John Benediktsson
|
7e3391ffb0
|
ui.gadgets.tables: i think this is clearer.
|
2012-09-20 18:24:57 -07:00 |
|
John Benediktsson
|
98a8230d1c
|
ui.gadgets.tables: fix stack effect names.
|
2012-09-20 18:24:57 -07:00 |
|
John Benediktsson
|
6d447cb939
|
ui.gadgets.tables: cache table rows only on model-changed.
|
2012-09-20 18:24:57 -07:00 |
|
John Benediktsson
|
37b27b7fbe
|
ui.gadgets.tables: reduce generic dispatch.
|
2012-09-20 18:24:57 -07:00 |
|
John Benediktsson
|
88b196dc8c
|
ui.gadgets.tables: some performance improvements.
|
2012-09-20 08:34:43 -07:00 |
|
John Benediktsson
|
cfa87365e3
|
ui.baseline-alignment: add concept of "aligned-gadget".
This type of gadget caches baseline and cap-height for performance.
|
2012-09-18 15:48:49 -07:00 |
|
John Benediktsson
|
b80992b27a
|
Revert "ui.gadgets.labels: use font-metrics directly."
This reverts commit d9fdd71d64.
|
2012-09-18 09:19:29 -07:00 |
|
John Benediktsson
|
45f0db5f78
|
ui.gadgets: add some inline.
|
2012-09-17 17:21:31 -07:00 |
|
John Benediktsson
|
eb1a4db801
|
ui.gadgets.labels: use font-metrics directly.
|
2012-09-17 14:12:25 -07:00 |
|
John Benediktsson
|
8e3c79b841
|
ui.gadgets.paragraphs: cache the wrapped paragraph for performance.
|
2012-09-17 14:12:25 -07:00 |
|
John Benediktsson
|
d5900ba7ee
|
ui.gadgets: inline gadget-child and nth-gadget.
|
2012-09-17 14:12:25 -07:00 |