Joe Groff
|
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 |
|
Joe Groff
|
eac90675c0
|
move counting profiler to tools.profiler.counting
|
2011-11-02 13:23:09 -07:00 |
|
Joe Groff
|
33919b2919
|
tools.profiler: rename to tools.counting-profiler
|
2011-11-02 13:23:06 -07:00 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Slava Pestov
|
d9bf27d242
|
ui.tools: Minor UI tweaks
|
2009-09-23 22:51:25 -05:00 |
|
Slava Pestov
|
ec72f33fcb
|
Documentation updates
|
2009-04-20 02:23:52 -05:00 |
|
Slava Pestov
|
c7b3b2f4e0
|
Load ui.tools.error-list by default
|
2009-04-11 14:24:17 -05:00 |
|
Slava Pestov
|
99b8400e56
|
Documentation updates
|
2009-04-06 03:00:46 -05:00 |
|
Slava Pestov
|
7741d2ca23
|
- definitions.icons now has a reference article
- move about to help.vocabs; it now opens the vocab browser instead
- help.vocabs is in default use list
- add runnable-vocab predicate class
|
2009-03-24 09:11:45 -05:00 |
|
Slava Pestov
|
637d06a4f8
|
Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page
|
2009-03-24 04:11:08 -05:00 |
|
Slava Pestov
|
abab72f80c
|
Move 'see' to its own vocabulary, and fix excess newlines after panes change
|
2009-03-11 07:18:24 -05:00 |
|
Slava Pestov
|
5cd4f65e59
|
Fix conflict
|
2009-01-27 15:49:49 -06:00 |
|
Slava Pestov
|
298fdecf32
|
Fixing eval unit test, and help lint failures from stricter help lint
|
2009-01-27 15:38:01 -06:00 |
|
Slava Pestov
|
6ddf6af2e7
|
Add A+n, A+p, A+u to navigate hierarchy in browser tool; add common shortcuts to all tools, like F2, A+s, A+q, ...
|
2009-01-08 19:30:58 -06:00 |
|
Slava Pestov
|
268b995116
|
Remove the ui word, and ui-hook kludge; with-ui is now the only way to start the UI. ui.tools vocabulary is now runnable
|
2009-01-07 20:56:09 -06:00 |
|
Slava Pestov
|
d7358b5ef3
|
Removing last remnants of 'workspace' tool
|
2009-01-07 15:06:43 -06:00 |
|
Slava Pestov
|
bdaa5eac31
|
Minor UI documentation updates
|
2009-01-06 23:30:08 -06:00 |
|
Slava Pestov
|
00fad429b5
|
Add shortcuts for scrolling up/down to listener
|
2009-01-06 20:55:23 -06:00 |
|
Slava Pestov
|
24d55cc6a6
|
Browser tool is now its own window; update help-window usages to open browser instead
|
2009-01-06 13:56:14 -06:00 |
|
Slava Pestov
|
f9851b195a
|
Working on new profiler tool
|
2008-12-22 00:54:08 -06:00 |
|
Slava Pestov
|
cafc450a84
|
Documentation improvements
|
2008-11-29 00:20:39 -06:00 |
|
Slava Pestov
|
08f7e02a3b
|
Remove stack display from listener tool, and tweak appearance
|
2008-11-20 21:59:22 -06:00 |
|
Slava Pestov
|
7f59942219
|
Change title to be more consistent
|
2008-11-05 04:28:13 -06:00 |
|
Slava Pestov
|
c19f2257f4
|
Fix permission bits
|
2008-10-02 08:34:49 -05:00 |
Eduardo Cavazos
|
7402cd2ab7
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |