Commit Graph

569 Commits (dfa763434e09d349f11d0adf6989d4adc961365b)

Author SHA1 Message Date
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
John Benediktsson 04dd210b37 ui.gadgets: fix docs for max-dims. 2012-08-01 07:37:44 -07:00
John Benediktsson c36adbd749 ui.gadgets: faster max-dims and sum-dims. 2012-07-31 20:23:32 -07:00
John Benediktsson efe2926d8e ui: change some places to call safe-summary. 2012-07-22 14:37:15 -07:00
John Benediktsson 4e72d80256 Using "same?" in more places. 2012-07-21 10:22:44 -07:00
John Benediktsson bfb6bdd891 ui.gadgets: rename max-dim and dim-sum. 2012-07-13 23:19:21 -07:00
John Benediktsson 27cfc7748e ui.gadgets: use curry in add-gadgets. 2012-07-13 15:39:18 -07:00
Doug Coleman 9f370ec639 issue #358: command-map -> get-command-at 2012-06-21 08:35:46 -07:00
Doug Coleman fbfa8543a1 issue #358: Rename button-pen -> lookup-button-pen. 2012-06-21 08:35:40 -07:00
John Benediktsson d616f4779e ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document. 2012-05-04 18:38:12 -07:00
John Benediktsson 8c1165cac1 cleanup some lint warnings. 2012-04-18 17:46:01 -07:00
Joe Groff 273b5115bf add content-gadget hook for inspector
Allow objects such as images, strings, and audio clips to display rich representations of themselves in the inspector by providing methods for a content-gadget generic.
2012-02-21 15:06:27 -08:00
Joe Groff 4db4b3e171 ui.gadgets.panes: add gadget-alt-text
Provide a default implementation of write-gadget that writes plain text to a stream that doesn't support gadgets.
2012-02-18 21:59:30 -08:00
John Benediktsson 3a4afb1650 Revert "ui.gadgets.books: needs help.markup.private."
This reverts commit dc9aa68961.
2011-12-29 21:38:05 -08:00
John Benediktsson f6c0bfdb89 ui.gadgets.books: needs help.markup.private. 2011-12-29 17:19:48 -08:00
Joe Groff d1786adfe4 new module images.viewer.prettyprint
Pretty-prints image objects as images.
2011-11-13 12:12:23 -08:00