Commit Graph

534 Commits (f682aefe8bf7a46983cfda2ea00da35d87c0dfeb)

Author SHA1 Message Date
John Benediktsson 02a3b7c437 ui.gadgets: fix docs for max-dims. 2012-08-01 07:37:44 -07:00
John Benediktsson c31d4c262a ui.gadgets: faster max-dims and sum-dims. 2012-07-31 20:23:32 -07:00
John Benediktsson 10ec6ec04d ui: change some places to call safe-summary. 2012-07-22 14:37:15 -07:00
John Benediktsson e654e4afd9 Using "same?" in more places. 2012-07-21 10:22:44 -07:00
John Benediktsson c345c5ba48 ui.gadgets: rename max-dim and dim-sum. 2012-07-13 23:19:21 -07:00
John Benediktsson de035c064a ui.gadgets: use curry in add-gadgets. 2012-07-13 15:39:18 -07:00
Doug Coleman 264cf4002d issue #358: command-map -> get-command-at 2012-06-21 08:35:46 -07:00
Doug Coleman 72b4d53639 issue #358: Rename button-pen -> lookup-button-pen. 2012-06-21 08:35:40 -07:00
John Benediktsson 59276fce15 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 33f741ec2e cleanup some lint warnings. 2012-04-18 17:46:01 -07:00
Joe Groff 7803daf4a8 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 cb28523e6e 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 beaf3db868 Revert "ui.gadgets.books: needs help.markup.private."
This reverts commit dc9aa68961.
2011-12-29 21:38:05 -08:00
John Benediktsson dc9aa68961 ui.gadgets.books: needs help.markup.private. 2011-12-29 17:19:48 -08:00
Joe Groff 7350fb09ab new module images.viewer.prettyprint
Pretty-prints image objects as images.
2011-11-13 12:12:23 -08:00
Slava Pestov 3468ff385c ui.gadgets.editors: fix wonky word names. Fixes #277 2011-10-29 15:27:27 -07:00
Slava Pestov 826112c5a1 Revert "ui.gadgets.editors: implement Ctrl-A/E/K to be more compatible."
This reverts commit 6a096a1e71.
2011-10-29 15:27:27 -07:00
Slava Pestov 281ff6b7a3 Revert "ui.gadgets.editors: windows doesn't work like macosx."
This reverts commit cf1d12ce78.
2011-10-29 15:27:27 -07:00
Doug Coleman 313a8dbe88 Add a lint check for swap .. swap that can be replaced by dip. Clean up the cases it finds. 2011-10-26 13:01:04 -07:00
Doug Coleman f05e33fa37 Fix all failures in the linux64 build email 2011-10-24 19:33:09 -07:00
Doug Coleman 96da8df16e Rename class to class-of 2011-10-24 06:47:42 -05:00
John Benediktsson cf1d12ce78 ui.gadgets.editors: windows doesn't work like macosx. 2011-10-19 09:42:12 -07:00
Joe Groff b230b306f5 io: input-stream and output-stream mixins 2011-10-18 16:25:09 -07:00
John Benediktsson 6a096a1e71 ui.gadgets.editors: implement Ctrl-A/E/K to be more compatible. 2011-10-18 11:38:08 -07:00
John Benediktsson 7494418bf8 More lint cleanups. 2011-10-16 19:33:16 -07:00
John Benediktsson fd853f9958 Cleanup some lint warnings. 2011-10-15 19:19:44 -07:00
John Benediktsson e91c48dc13 ui.gadgets.editors: simplify private word. 2011-09-25 11:43:53 -07:00
Joe Groff 571ef865e6 slots: pre-create the "at", "nth", and "global" slots to make deterministic the currently nondeterministic ambiguity between accessors:change-* and assocs:change-at, sequences:change-nth, and namespaces:change-global 2011-09-19 10:03:43 -07:00
Slava Pestov 92cbdb2670 ui.gadgets.tables: don't try to render multi-line strings, since all table rows must have the same height. Fixes #65 2011-09-01 22:41:12 -07:00
John Benediktsson e2ac602eb6 Merge remote-tracking branch 'factorcode/master' 2011-08-27 17:26:11 -07:00
Hugo Schmitt 5ed90a47cb Swapping call order of 'hook' and 'action' row actions 2011-08-27 17:25:45 -07:00
Slava Pestov 6bbf5c67af Fixes #33 - ui.gadgets.glass had a scoping issue, so text selection would stop working after opening a popup 2011-08-27 17:14:56 -07:00
Erik Charlebois fe4805e955 Only do mouse selections for button 1 2011-05-23 23:36:14 -04:00
Keita Haga 6335e3dd3c ui.gadgets.status-bar: fix typo in docs 2011-01-16 21:46:01 +09:00
Slava Pestov 8baa24df3b ui.gadgets.labels: fix stack effects for label-on-left and label-on-right 2010-07-18 17:38:51 -04:00
Slava Pestov b05818c8a4 ui.gadgets.worlds: dispose of the handle after ungrabbing input 2010-07-17 16:08:36 -04:00
Doug Coleman 05b41789e2 Add a promise to world objects that gets fulfilled when the world is ungrafted 2010-06-16 16:23:30 -05:00
Doug Coleman e03a5b038e Rename alarms -> timers 2010-06-10 16:39:13 -05:00
Doug Coleman 3c853f0e60 Use restart-alarm for ui blink code 2010-05-24 22:59:25 -05:00
Slava Pestov 36aa9995f9 ui.gadgets.worlds: don't enable depth buffer by default, since it just wastes memory and apps which need it can pass custom pixel-format-attributes to open-window to enable it explicitly 2010-05-24 19:23:02 -04:00
Doug Coleman fc9a5fee58 Delay the cursor blink 2010-05-23 22:26:46 -05:00
Doug Coleman 179acf5ea6 Update code base for new alarms api 2010-05-21 20:42:12 -05:00
Slava Pestov d2d466de29 Language change: tuple slot setter words with stack effect ( value object -- ) are now named FOO<< instead of (>>FOO) 2010-05-06 17:21:02 -04:00
Slava Pestov e599462bf0 ui.gadgets.tables: fix load error in docs 2010-05-03 22:42:19 -04:00
Slava Pestov 512e4d8181 ui.gadgets.tables: remove multiple selection support, and make the error list handle preservation of the current selection better when the underlying model changes 2010-05-03 22:09:00 -04:00
Slava Pestov 54260643c3 ui: use scroll delta information for smoother mouse scrolling on Windows and Mac OS X 2010-04-29 02:52:32 -04:00
Daniel Ehrenberg d9878f81d7 Changing require-when usages to the new syntax for require-when 2010-04-18 14:29:24 -05:00
Slava Pestov 7349447295 ui.gadgets.grids: clarify docs 2010-04-08 10:22:59 -07:00
Slava Pestov a78f549918 ui.gadgets.buttons: fix incorrect parameter order in <radio-controls> 2010-03-29 15:08:15 -04:00
Daniel Ehrenberg f2f80dadc7 Updating code to use require-when rather than vocab [ require ] when 2010-03-18 01:13:37 -04:00