365c8d08d2
ui.gadgets.sliders: removed buttons
2016-04-23 09:51:15 -07:00
d5cb972a71
Docs: ui and compiler
2016-04-22 18:23:02 +02:00
58e18ad668
ui.gadgets.corners: move to unmaintained. trim using lists.
2016-04-04 14:11:54 -07:00
498285d7dd
unicode: make this the API for all unicode things.
2016-03-30 23:29:48 -07:00
e0a40e4f96
opengl: log all mac os errors where framebuffer is undefined.
2016-03-30 15:28:39 -07:00
1b71efb748
ui: change active? back to a boolean.
2016-03-30 07:31:13 -07:00
90b53e3054
ui.gadgets: fix tests for namespaces:set.
2016-03-29 18:57:38 -07:00
7d0c596c92
Hopefully fix stack effects of error hooks to throw when required.
2016-03-28 22:27:35 -07:00
b21457411e
mirrors: makes string an inspectable sequence, fixes #1238
2016-03-25 21:10:26 +01:00
d3bc2035a2
factor: remove rest of double paren words.
2016-03-25 03:13:27 -07:00
c04ce00b45
ui.gadgets.panes: fix use of string-lines that prevented icons from showing in help browser.
2016-03-20 15:56:02 -07:00
763b892a1d
ui.*: move some of the gl initing to set-up-window, should fix #1510
...
it's also more efficent to run the check-extensions "1.0"
require-gl-version code only once when the window is created, rather
than once for each draw
2015-12-01 04:49:36 +01:00
4ce72ddbfb
Show persistent border on right clicking presentation gadgets
2015-11-04 07:55:13 -08:00
7bc1009973
ui.*: make active? an integer 0-100
...
A UI backend can delay setting active? to 100 until the windows actually
is visible. That way, some redundant redraws that happen when the window
isn't visible is supressed. It makes the Windows and GTK UI startup a
little faster.
2015-10-27 19:00:28 +01:00
8bb96cbfd1
ui.gadgets.incremental: fix so that the scrolled of gadgets are ungrafted
2015-10-18 17:35:26 +02:00
0f803aa84b
ui.gadgets.tests: clear the layout queue, so test dont interfere with
...
other tests
2015-10-17 15:58:59 +02:00
27f54fc123
ui.gadgets.tests: fix the test (layout-queue is a vector now)
2015-10-16 22:28:31 +02:00
d2181a9e71
ui.gadgets.incremental: trivial scrolling, maybe solves #1488 ?
2015-10-16 10:55:48 +02:00
4812cec634
ui.gadgets.buttons: memoize the roll button themes pens
...
It reduces memory usage by about 10% for the #1488 test on my machine
and doesnt seem to have any bad side-effects.
2015-10-16 09:20:29 +02:00
9af7be2ef9
ui: the layout-queue is more efficient as a vector than a dlist
...
Improves memory usage in the #1488 example from about 20,4% to 17,4% on
my machine.
2015-10-15 18:34:49 +02:00
1873eda1d2
ui.gadgets: ensure that layout-later yields if the queue gets to large
...
This improves memory utilization a lot for #1488 . Otherwise the queue
grows to two million entries before being processed.
2015-10-15 16:29:49 +02:00
c0d1d2f331
ui.*: a little more ui docs
2015-10-15 16:27:15 +02:00
d5c5a1389d
ui.gadgets.paragraphs: pref-dim of { 0 0 } if no children.
2015-09-20 09:45:05 -07:00
e477f6996f
Fix comments to be ! not #!.
2015-09-08 16:15:10 -07:00
ff880262cb
ui.gadgets.editors: make it easier to set and get default-text.
2015-08-16 14:29:21 -07:00
f24444e990
ui.gadgets.editors: allow action-fields to have a default text.
2015-08-16 13:45:16 -07:00
6b440e5e81
ui.gadgets: fix help-lint warnings.
2015-08-16 10:46:28 -07:00
15b0753457
ui.gadgets: fix some tests.
2015-08-16 10:41:16 -07:00
29d4908ff5
ui.gadgets: move some buttons-tests to toolbar-tests.
2015-08-16 10:33:52 -07:00
cb575c1ba8
ui.gadgets.labeled: separate title-bar-interior with a comment why.
2015-08-16 08:04:58 -07:00
87a31f1f35
ui.gadgets.labeled: fixed USING
2015-08-16 07:54:45 -07:00
61f8db4c81
ui.gadgets.theme.light: colour changes
2015-08-16 07:54:45 -07:00
b81a5f9c7a
ui.gadgets.labeled: flat colour on windows because of the gradient bug
2015-08-16 07:54:45 -07:00
fff4ea78ec
ui.gadgets.color: changed error colour
...
Reverted a previous unintentional change
2015-08-16 07:54:16 -07:00
bab79fe04c
ui.theme.light: using HEXCOLOR
2015-08-16 07:54:16 -07:00
55c994f1c1
ui.gadgets.scrollers: removed 1-px gap
2015-08-16 07:53:34 -07:00
bf2b829846
ui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 07:53:33 -07:00
23a1174e81
Fixed USING in slots and deploy
2015-08-16 07:53:33 -07:00
9f8736c13c
Moved toolbar docs
2015-08-16 07:53:33 -07:00
355e14cb5b
New buttons
2015-08-16 07:53:33 -07:00
9d5336777d
Toolbar button pressed background
2015-08-16 07:53:33 -07:00
4335698ceb
ui.gadgets.colors: Several colour changes
2015-08-16 07:53:33 -07:00
a0eaf7a66b
Fixed alignment issue in toolbars
2015-08-16 07:53:32 -07:00
279795dbfd
Red/orange/green thread status in Walker
...
John did most of the work
2015-08-16 07:53:32 -07:00
61552d2901
Simplified toolbar code
2015-08-16 07:53:32 -07:00
2e067a3705
Small change in roll button colour
2015-08-16 07:53:32 -07:00
883d7e09d9
Other small adjustment in browser toolbar
2015-08-16 07:53:32 -07:00
c0e253a4a5
Revert previous colour change
...
Changed my mind
2015-08-16 07:53:31 -07:00
f240f189e1
Improved contents table in Inspector
2015-08-16 07:53:31 -07:00
80307926f6
Colour changes
2015-08-16 07:53:31 -07:00
f4e8511c0a
Fixed compatibility issue with labeled gadget
2015-08-16 07:53:31 -07:00
18a4171572
Toolbar no longer uses images
2015-08-16 07:53:31 -07:00
008614e6cb
Authors and summary for ui.gadgets.toolbar
2015-08-16 07:53:31 -07:00
79e273a250
Authors and summary for ui.gadgets.colors
2015-08-16 07:53:30 -07:00
44a6228931
Removing menu item images
...
I’m under the impression that they’ve never been used.
2015-08-16 07:53:30 -07:00
9d464fea9a
Removing menu images
2015-08-16 07:53:30 -07:00
086c90822d
Removing labeled block images
2015-08-16 07:53:30 -07:00
c8b63fa4b0
Fixed USING:
2015-08-16 07:53:30 -07:00
844da3fdfd
ui.tools.browser: using format-toolbar
2015-08-16 07:53:29 -07:00
359b42ab15
Removed ui.gadgets.lines
...
with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors
2015-08-16 07:53:29 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
ba4a6b780a
Added ui.gadgets.colors
...
All colour constants in the same place
2015-08-16 07:53:29 -07:00
dbe9aebe5d
New menu
2015-08-16 07:53:29 -07:00
d3b27e44b4
Actual colours for labeled gadgets
2015-08-16 07:53:28 -07:00
48376ff10c
Using filled-border in status bar
2015-08-16 07:53:28 -07:00
52135e2df7
Removed white interior
...
It was in the wrong place
2015-08-16 07:53:28 -07:00
b8b3362fa0
Labeled: added colour lines, framed labeled and fixed keyboard focus
...
Colours lines are all yellow at the moment. This will change later.
2015-08-16 07:53:27 -07:00
67afaa5bce
Fixed USING: (again)
2015-08-16 07:53:27 -07:00
f99f32a990
New labeled gadget
...
The new labeled gadget is not a frame anymore.
2015-08-16 07:53:27 -07:00
8c0fbca360
New lines dictionary
...
To draw 1-px grey lines between panes
2015-08-16 07:53:26 -07:00
c75f6155cf
New toolbar dictionary
2015-08-16 07:53:26 -07:00
9991aa2f3b
New labeled block images
...
Using grey85 (217 217 217)
2015-08-16 07:53:26 -07:00
656afe2ebd
New menu border images
2015-08-16 07:53:26 -07:00
a0bc138465
Menu border
...
Added 3 px to menu borders.
2015-08-16 07:53:26 -07:00
ae9b9b59eb
Use colour constants
2015-08-16 07:53:25 -07:00
1371cb4090
Margins
...
Margins increased in the listener and status bar.
2015-08-16 07:53:25 -07:00
bf74e394ba
Unified toolbar
...
New toolbar with a grey background.
2015-08-16 07:53:25 -07:00
d1594a60db
Transparent buttons
...
Transparent button backgrounds (for the unified toolbar)
2015-08-16 07:53:25 -07:00
8d9c14ae04
New scrollbars
2015-08-16 07:53:25 -07:00
a246a33c3e
New scrollbars
...
The scrollbar background is now transparent and the scrollbars are
thinner.
2015-08-16 07:53:25 -07:00
ceb75057da
change ERROR: words from throw-foo back to foo.
2015-08-13 16:13:05 -07:00
b6be8685c3
basis: ERROR: changes.
2015-08-13 03:20:39 -07:00
e0d1b14e5c
factor: don't need FROM: namespaces => set or namespaces:set anymore
2015-08-12 11:25:57 -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
00338f62f3
factor: put inline on same line as ; for experimentation
2015-08-10 12:55:27 -05:00
9d021bb081
opengl: Temporary (?) fix for the ui. Issue #1379 .
...
Throwing gl errors is not helpful because the ui gets messed up anyway. Print the error and continue. Maybe we should add a section in the F3 error window for opengl errors instead of printing them in the global stdout.
- We could also use gl-error on every platform except for MacOSX 10.11
- We could fix the underlying gl drawing commands that cause this error.
2015-08-04 12:28:59 -07:00
57b0ce8d9e
ui.gadgets.panes: don't use extract-keys, don't clone twice in specified-font.
2015-07-27 08:42:42 -07:00
4f09d852f3
ui.gadgets.sliders: rename slider-pen-tuple to slider-pen.
2015-07-27 08:41:01 -07:00
332e3ad52f
ui.gadgets.grids: rename grid-layout-tuple to grid-layout.
2015-07-27 08:40:30 -07:00
5fbe6aa9e6
ui.gadgets.labels: respect the labels background and foreground.
2015-07-25 22:38:34 -07:00
5eec781b40
use ``if*`` instead of ``dup [ ] [ drop ] if``.
2015-07-20 22:24:30 -07:00
dfc5be9e43
ui.gadgetes.grids: cell -> grid-cell. it's private and hardly used and loaded by default, let's not confuse the tools with the layouts:cell.
2015-07-20 01:23:00 -07:00
af90d77fc2
wrap.words: rename wrap.words:word to wrapping-word. this ``wrapping-word`` is loaded by default and now this trivial vocabulary won't cause a naming conflict with the builtin ``word`` and one of the most used symbols and concepts in the entire language.
2015-07-20 01:15:48 -07:00
2c4ed220b5
ui.gadgets.tabbed: use named color constant.
2015-07-19 12:49:34 -07:00
035ccf7984
ui.gadgets.grid-lines: fix using.
2015-07-18 18:30:16 -07:00
72e19fe79a
ui.gadgets.grid-lines: fix tests.
2015-07-18 18:28:00 -07:00
f9cb9765ee
ui.gadgets.grid-lines: fix rough edges on right and bottom.
2015-07-18 14:56:57 -07:00
66f6416d34
ui: add some $quotation help.
2015-07-18 10:57:37 -07:00
ed98332263
ui.gadgets.buttons: simplify.
2015-07-14 15:43:58 -07:00
1431c33f1f
ui.gadgets.status-bar: use color constants.
2015-07-14 15:29:25 -07:00
098a07ed59
ui.gadgets.buttons: add button quot effect.
2015-07-14 15:29:06 -07:00
dce364faa2
ui.gadgets.labels: trigger relayout when string changes.
2015-07-10 14:06:53 -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
999aa7c897
factor: clean up spaces in -tests files
2015-07-02 10:34:01 -07:00
e3cb325040
factor: clean up whitespace in -docs files
2015-07-02 10:31:22 -07:00
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
fe2c2d23de
Adding help for <model-field> and <action-field>.
2015-02-21 18:39:04 -08:00
14b3261bef
ui: cleanup some using lists.
2015-01-29 11:41:18 -08:00
f6af1da32f
ui: use control-value/set-control-value in a few places.
2014-12-17 13:05:00 -08:00
49bcbaee7a
removing small and unnecessary files.
2014-11-29 17:24:42 -08:00
001acde590
math.vectors: new word v>integer = [ >integer ] map
2014-11-17 19:02:12 -08:00
2c3dd8c3c8
Remove executable bit from tons of files that aren't
2014-11-05 20:40:42 -08:00
c96bf37b3a
ui.gadgets.tables: show summary for mouse row or selected row.
2014-10-24 16:32:21 -07:00
6767928091
ui.gadgets.buttons: use hide-status on button-leave.
2014-10-24 16:30:29 -07:00
68446b047b
ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026 .
2014-08-05 10:03:17 -07:00
60ffe0680e
kernel: new combinator 2with = with with
2014-07-22 07:40:13 -07:00
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
d614084550
opengl.capabilities: Apply @jonenst's suggestions for gl-version failures with mesa opengl.
2014-06-07 21:48:20 -07:00
57f9d78892
improve help by linking to types directly.
2014-05-23 20:20:15 -07:00
98935b7f15
docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
2014-05-18 20:09:10 -07:00
d44cc17161
update docs for help.lint checks.
2013-08-24 11:39:31 -07:00
63ee0de2f1
ui.gadgets.worlds: remove fonts slot from docs.
2013-08-13 08:49:43 -07:00
c1b4bcb58e
ui.gadgets.slider: Rename.
2013-03-23 16:47:04 -07:00
0b5c1b79c1
ui.gadgets: Rename grid-layout.
2013-03-23 16:41:02 -07:00
8c19602ae9
assocs: Add of and ?of. Change all the things at once! Fixes #701 .
2013-03-23 14:59:07 -07:00
a46bcfe85c
ui.gadgets.editors: fix stack effect of change-caret quotation.
2012-12-28 17:01:32 -08:00
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
225e87339b
update some docs that should use $quotation.
2012-09-27 11:09:17 -07:00
5e57a8258d
ui.gadgets.paragraphs: cache width in "line" object.
2012-09-24 18:29:51 -07:00
be85b3bee3
ui: hand-loc and hand-click-loc should be global.
2012-09-21 18:32:43 -07:00
7e3391ffb0
ui.gadgets.tables: i think this is clearer.
2012-09-20 18:24:57 -07:00
98a8230d1c
ui.gadgets.tables: fix stack effect names.
2012-09-20 18:24:57 -07:00
6d447cb939
ui.gadgets.tables: cache table rows only on model-changed.
2012-09-20 18:24:57 -07:00
37b27b7fbe
ui.gadgets.tables: reduce generic dispatch.
2012-09-20 18:24:57 -07:00
88b196dc8c
ui.gadgets.tables: some performance improvements.
2012-09-20 08:34:43 -07:00
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
b80992b27a
Revert "ui.gadgets.labels: use font-metrics directly."
...
This reverts commit d9fdd71d64
2012-09-18 09:19:29 -07:00
45f0db5f78
ui.gadgets: add some inline.
2012-09-17 17:21:31 -07:00
eb1a4db801
ui.gadgets.labels: use font-metrics directly.
2012-09-17 14:12:25 -07:00
8e3c79b841
ui.gadgets.paragraphs: cache the wrapped paragraph for performance.
2012-09-17 14:12:25 -07:00
d5900ba7ee
ui.gadgets: inline gadget-child and nth-gadget.
2012-09-17 14:12:25 -07:00
04dd210b37
ui.gadgets: fix docs for max-dims.
2012-08-01 07:37:44 -07:00
c36adbd749
ui.gadgets: faster max-dims and sum-dims.
2012-07-31 20:23:32 -07:00
efe2926d8e
ui: change some places to call safe-summary.
2012-07-22 14:37:15 -07:00
4e72d80256
Using "same?" in more places.
2012-07-21 10:22:44 -07:00
bfb6bdd891
ui.gadgets: rename max-dim and dim-sum.
2012-07-13 23:19:21 -07:00
27cfc7748e
ui.gadgets: use curry in add-gadgets.
2012-07-13 15:39:18 -07:00
9f370ec639
issue #358 : command-map -> get-command-at
2012-06-21 08:35:46 -07:00
nicolas-p
Björn Lindqvist
Doug Coleman
John Benediktsson
Sankaranarayanan Viswanathan
Mark Green
Benjamin Pollack