24b116be1c
prettyprint: rename so it doesn't look so much like print-error.
2013-04-10 19:18:15 -07:00
e42144e9ea
prettyprint: cleanup duplicate code.
2013-04-10 18:50:11 -07:00
d6828d38ff
ui.tools.traceback: fix pprint error in walker issue.
2013-04-10 18:30:11 -07:00
60cb462826
ui.tools: Fix restart.
2013-03-23 17:39:48 -07:00
daca323523
ui.tools.error-list: Fix reset-memoized.
2013-03-23 17:35:18 -07:00
fb4eb84f7c
ui.tools.error-list: Rename error-list-gadget.
2013-03-23 17:14:04 -07:00
16964064b6
ui.tools: Fix definition? usage.
2013-03-23 16:46:51 -07:00
a440b2a909
tools.completion: matching names.
2013-03-20 16:51:09 -07:00
ef98b7af53
tools, ui.tools: Rename complete-P"? to complete-pathname?
2013-03-20 16:18:30 -07:00
e35c142195
ui.tools.browser.popups: fix in/out links popups.
2013-03-12 09:10:16 -07:00
c0c769a7d8
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -07:00
5f165095dc
ui.tools.listener.completion: fix use of search-vocab-names.
2013-03-08 17:53:02 -08:00
013160df9a
change some "2drop 2drop" to "4drop".
2012-10-23 12:21:30 -07:00
ca9137767b
ui.tools.listener: adding path completion to listener.
2012-10-22 18:51:52 -07:00
80e2309e17
ui.tools.listener.completion: color private vocabs red in completion-mode.
2012-09-25 14:49:49 -07:00
61fa05942b
ui.tools.listener.completion: fix row color for words in our search list.
2012-09-25 11:45:38 -07:00
a5b91e181a
tools.completion: moving "complete-?" words.
2012-09-25 09:10:44 -07:00
2f99a33e36
ui.tools.listener: adding COLOR: completions.
2012-09-24 15:07:30 -07:00
ea276574c5
ui.tools.browser.popups: fix hand-loc get-global.
2012-09-21 18:42:00 -07:00
88b196dc8c
ui.gadgets.tables: some performance improvements.
2012-09-20 08:34:43 -07:00
1ee1a793de
ui.tools.browser: fix stack effect name.
2012-08-17 10:13:44 -07:00
93a2775248
ui.tools.operations: fix crash clicking on a model that hasn't been initialized properly.
2012-08-13 17:02:39 -07:00
7b2b3f5e9f
ui.tools.listener.completion: make sure "IN:<Ctrl-h>" works.
2012-08-13 15:16:16 -07:00
bf86504c1a
ui.tools.browser: Support resize on + and _.
2012-08-07 14:46:09 -07:00
f94853c8b7
ui.tools.browser: adding +/- font size commands.
2012-08-07 12:28:45 -07:00
9ffef3f881
ui.tools.operations: allow watch on non-annotated words, reset on annotated ones.
2012-07-27 14:06:52 -07:00
2f93d9dedd
ui.tools.listener.completion: make sure "USE: vocab <TAB>" works right.
2012-07-27 08:47:57 -07:00
4b7d7aed1c
ui.tools.listener.completion: fix complete-vocab? check (also its faster now).
2012-07-26 18:58:21 -07:00
9cfbf99c15
ui.tools.listener: adding tests for Ctrl-D.
2012-07-23 12:02:11 -07:00
e6dc084aa7
ui.tools.listener: adding some tests for interactor read-until.
2012-07-23 11:48:24 -07:00
3b5094a73c
ui.tools.listener: fix read-until with Ctrl-D.
2012-07-23 11:07:03 -07:00
5589b2bbd2
ui.tools.listener: fix stream-read-until on interactor gadgets.
2012-07-22 15:16:39 -07:00
efe2926d8e
ui: change some places to call safe-summary.
2012-07-22 14:37:15 -07:00
559b5bfa5b
using the new H{ } make.
2012-07-19 09:50:09 -07:00
42f4dc36b2
namespaces: Rename ``bind`` to ``with-variables``. Update a few places that called ``global [ ] with-variables`` to use ``with-global``.
2012-07-19 00:02:47 -07:00
4f260ab9bd
"H{ } substitute" is faster than "{ } substitute".
2012-07-13 19:06:38 -07:00
57b681dd71
ui.tools.listener.completion: intersects? is overkill here.
2012-07-13 18:58:05 -07:00
e1c91575c0
ui.tools.listener: adding docs for emacs-style key bindings.
2012-06-21 20:18:43 -07:00
efbdf222a7
issue #358 : Finish renaming <apropos> to <apropos-search>
2012-06-21 08:35:44 -07:00
8c1165cac1
cleanup some lint warnings.
2012-04-18 17:46:01 -07:00
24ca1b02b7
ui.tools.listener: dumb hack to set listener font
2012-03-04 13:08:22 -08:00
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
b12cdae993
ui.tools.deploy: add doc link to deploy-flags
...
That's where all the settings are actually described.
2011-11-27 12:37:58 -08:00
f5d7ec72c7
ui.tools.deploy: update deploy-console description
...
No longer windows specific
2011-11-27 12:37:57 -08:00
14031d8794
icon for user-init-errors
2011-11-27 12:06:48 -08:00
36dac58380
update USING:s
2011-11-15 18:37:30 -08:00
1db3d6f051
ui.tools.deploy: remove monkey traps from UI
2011-11-15 12:53:21 -08:00
a1bb1fbd7a
Revert "ui.tools.listener: removing unnecessary spawn."
...
This reverts commit f8aa8038d3http://paste.factorcode.org/paste?id=2407
2011-11-15 12:35:25 -08:00
4d0d1748f0
ui.tools.listener: removing unnecessary spawn.
2011-11-14 10:16:15 -08:00
c8fd36bbdb
kill tools.profiler.counting and ui.tools.profiler
...
Load tools.profiler.sampling from bootstrap/tools instead.
2011-11-10 12:33:10 -08:00
John Benediktsson
Doug Coleman
Joe Groff