Commit Graph

657 Commits (a7eb21659d71ebaffe0107f917e7e944f67ccf26)

Author SHA1 Message Date
Slava Pestov fa79803856 Fix text rendering for fonts where the image bounds exceed the metric bounds, such as Zapfino and Arabic fonts 2009-02-20 20:53:51 -06:00
Slava Pestov af0b6ef4c8 Fix scroll>rect flaw 2009-02-20 20:53:25 -06:00
Slava Pestov 1bf9b3b49e Set default size for browser popup 2009-02-20 20:53:08 -06:00
Slava Pestov ee7bbf8654 Reset mouse selection after table model changes 2009-02-20 20:52:33 -06:00
Slava Pestov be40bd33ee New initialize-alien word 2009-02-20 20:51:13 -06:00
Slava Pestov 556c218afa Document ui.gadgets.line-support 2009-02-19 18:21:05 -06:00
Slava Pestov a0253106b1 ui.gadgets.status-bar: write some docs and add notion of status message ownership to avoid some subtle race issues with completion popup and listener's keyboard help 2009-02-19 18:01:26 -06:00
Slava Pestov 58e55d4f45 Working on documentation 2009-02-19 16:54:27 -06:00
Slava Pestov 676806ce39 opengl.textures: clean up code, only create power-of-2 textures, make API nicer 2009-02-19 04:06:57 -06:00
Slava Pestov 277a827039 Add unit tests for ui.gadgets.glass 2009-02-18 21:01:27 -06:00
Slava Pestov 742aa5ced7 Rename com-follow to com-browse 2009-02-18 21:01:19 -06:00
Slava Pestov 204777ec3f ui.gadgets.menus now supports separators 2009-02-18 21:00:53 -06:00
Slava Pestov 706fb33e38 Table hooks now receive the table as an input parameter 2009-02-18 21:00:31 -06:00
Slava Pestov d6a2f9b84b Glass panes can now be stacked 2009-02-18 20:59:51 -06:00
Slava Pestov f6f9b0874e change remove-gadget semantics so that removing glass from world doesn't break 2009-02-18 19:25:34 -06:00
Slava Pestov 773d292688 Panes fill up available space with the last line 2009-02-18 17:33:00 -06:00
Slava Pestov 038b4c597c Remove track-remove, and make ui.gadgets:unparent extensible; add a test 2009-02-18 17:32:46 -06:00
Slava Pestov eb54b95b37 Fix grid-lines rendering 2009-02-17 22:42:48 -06:00
Samuel Tardieu 087d931c36 Remove the tail argument from do/until/while 2009-02-18 02:41:14 +01:00
Slava Pestov 4c7405f353 Don't center all windows on Cocoa 2009-02-17 19:26:32 -06:00
Slava Pestov 4641bfff2d Smart quotes 2009-02-17 18:17:55 -06:00
Slava Pestov 92158ef055 Fix profiler 2009-02-17 14:26:17 -06:00
Slava Pestov 940782cf93 Add article and word help icons 2009-02-17 14:26:01 -06:00
Slava Pestov d67f08549c New baseline alignment algorithm uses cap-height/2 as graphics baseline instead of ascent/2 2009-02-17 13:41:19 -06:00
Slava Pestov 51c89053c0 Browser: keyboard navigation popups for A+k and A+K 2009-02-17 08:29:57 -06:00
Slava Pestov f12b163a7b ui.tools.inspector: clean up 2009-02-17 08:26:33 -06:00
Slava Pestov cf829ad3cf Split off large chunk of ui.tools.listener.popups and make it generic; put it in ui.gadgets.glass 2009-02-17 08:26:23 -06:00
Slava Pestov e37c89a434 Tweak tables a bit 2009-02-17 08:24:55 -06:00
Slava Pestov 0bbe79d386 Search tables: do case folding automatically, better keyboard behavior 2009-02-17 08:24:11 -06:00
Slava Pestov d14fba5b98 Icons in profiler tool, update for search models change 2009-02-17 08:23:46 -06:00
Slava Pestov 9990663a85 Implicit instead of explicit size for traceback tool 2009-02-17 08:23:23 -06:00
Slava Pestov e093057e80 Add multi-touch commands to walker tool 2009-02-17 08:23:04 -06:00
Slava Pestov c7dc4f1080 Split off baseline alignment code into ui.baseline-alignment, and add cap-height generic word 2009-02-17 06:10:02 -06:00
Slava Pestov 73dfa2ae65 Fix conflict 2009-02-16 21:47:35 -06:00
Slava Pestov be46168a24 define-operation doesn't add duplicate operations anymore; ui.operations initializes operations global variable automatically 2009-02-16 21:42:47 -06:00
Slava Pestov 421ee726b8 Merge branch 'master' into new_ui 2009-02-16 21:22:12 -06:00
Slava Pestov 6b25e99470 Add summary for heaps more vocabs 2009-02-16 21:05:13 -06:00
Slava Pestov 1a434416ac Tweak inspector and profiler tools so that the preferred size is computed from layout rather than hard-coded 2009-02-16 04:34:22 -06:00
Slava Pestov 6b672a11fa ui.gadgets.editors: rename min-width and max-width slots of field to min-cols and max-cols, re-use line-support code, more accurate dimension calculation that takes field border size into account 2009-02-16 04:25:58 -06:00
Slava Pestov d2be75b083 ui.gadgets.tables: add support for column headers
ui.gadgets.search-tables: use Joe's X icon
2009-02-16 04:25:15 -06:00
Slava Pestov e80ab7d28b ui.gadgets.scrollers: add support for column headers 2009-02-16 04:24:14 -06:00
Slava Pestov d5d9c65859 Remove new-gadget since it was just an alias for new 2009-02-16 04:04:32 -06:00
Slava Pestov 20aca672ca New icons (Joe Groff) 2009-02-16 01:26:21 -06:00
Slava Pestov 4acf78353b ui.tools.listener: Better initial size for completion popup 2009-02-16 01:25:50 -06:00
Slava Pestov 76c35ad90c ui.gadgets.tables: Add page up/down 2009-02-16 01:10:21 -06:00
Slava Pestov 298ea392f7 ui.gadgets.editors: Add page up/down 2009-02-16 01:03:50 -06:00
Slava Pestov d26ae3d141 new set-rect-bounds word for when you're setting loc and dim at the same time 2009-02-15 23:39:27 -06:00
Slava Pestov 33bb7b638b Make listener a little wider 2009-02-15 23:14:26 -06:00
Slava Pestov 86f7a4c282 Fix load errors; ui.gadgets.theme removed 2009-02-15 23:14:18 -06:00
Slava Pestov 7a32d8ddb2 Use vocab: 2009-02-15 21:09:09 -06:00
Slava Pestov 758ba5bcea Remove unused circle rendering code 2009-02-15 06:09:04 -06:00
Slava Pestov 8fec1f5d40 Fix load errors 2009-02-15 06:01:53 -06:00
Slava Pestov 0bbc63f865 ui.images: use MEMO: instead of explicit cache 2009-02-15 06:01:46 -06:00
Slava Pestov 628c219495 opengl.texture-cache is not necessary; simplify code 2009-02-15 04:33:43 -06:00
Slava Pestov 9a1d324342 Remove redundant t >>fill? calls 2009-02-15 04:24:25 -06:00
Slava Pestov f8ab4be9da Line gadgets now support min/max rows/cols; this obsoletes limited-scroller 2009-02-15 04:01:57 -06:00
Slava Pestov 074e3238f3 Scrollers: add pref-viewport-dim word that child gadgets can implement; clean up layout 2009-02-15 03:59:50 -06:00
Slava Pestov 1b41f85395 ui.gadgets.frames: any size frame now supported, arbitrary cell can be fill cell, gap supported 2009-02-15 03:59:02 -06:00
Slava Pestov f344cd50ca Single click is sufficient to insert completion in listener 2009-02-15 02:15:59 -06:00
Slava Pestov 78353dd1b6 New look for tabbed gadgets 2009-02-15 02:15:51 -06:00
Slava Pestov 09630e5bf4 Fancy new buttons 2009-02-14 21:53:39 -06:00
Slava Pestov 4c86bd0951 Various UI cosmetic fixes 2009-02-14 20:46:35 -06:00
Slava Pestov dd3a21f4f0 New look for buttons 2009-02-14 20:46:13 -06:00
Slava Pestov 9ebc487f44 Kill ui.gadgets.theme 2009-02-14 19:50:22 -06:00
Slava Pestov 6bbb4630f3 Rename labelled to labeled -- correct spelling 2009-02-14 19:48:32 -06:00
Slava Pestov bb46c64f71 LZW-compress images; thanks Doug for implementing this! 2009-02-14 00:58:35 -06:00
Slava Pestov 9c51eaa451 New look for labeled gadgets 2009-02-14 00:45:10 -06:00
Slava Pestov 6988baf0a1 Disable font leading in line-support for now 2009-02-14 00:44:32 -06:00
Slava Pestov faf0c94c6f ui.gadgets.editors: render empty selections visibly 2009-02-14 00:44:10 -06:00
Slava Pestov 36f9793c92 Add font-metrics hook 2009-02-13 20:19:57 -06:00
Slava Pestov b89bbb2ffd Update buttons docs 2009-02-13 19:16:44 -06:00
Slava Pestov 43623d8fa5 Different apperance for sliders with no thumb 2009-02-13 01:44:19 -06:00
Slava Pestov 9509c468e9 Different apperance for sliders with no thumb 2009-02-13 01:43:55 -06:00
Slava Pestov 36b3356b42 ui.gadgets.buttons: New look for checkboxes and radio buttons 2009-02-13 01:43:03 -06:00
Slava Pestov d66a31e88a Add status bar to debugger window 2009-02-13 01:00:02 -06:00
Slava Pestov 9a351fce22 Refactor ui.gadgets.glass to correctly position debugger popup 2009-02-13 00:59:28 -06:00
Slava Pestov 52df401f8a Factor out menu and popup positioning into math.rectangles.positioning, and write tests for it 2009-02-12 21:46:49 -06:00
Slava Pestov 4d69475cac Add support for Joe's "graphics baseline" idea 2009-02-12 16:52:24 -06:00
Slava Pestov 39a4969faa Listener doesn't print a garbage quotation when commands are invoked 2009-02-12 09:48:05 -06:00
Slava Pestov 54a58cc196 Split off ui.pens from ui.render 2009-02-12 03:58:42 -06:00
Slava Pestov ea2a3d6758 Split off opengl.textures from opengl.texture-cache; use image tuples instead of texture-info 2009-02-12 03:58:05 -06:00
Slava Pestov 4339bda8cc Fix scrollbar thumb rendering 2009-02-12 02:09:35 -06:00
Slava Pestov 47e076ec7c Monospace font in traceback 2009-02-12 02:09:22 -06:00
Slava Pestov 64f716b8d2 ui.gadgets.sliders: new appearance 2009-02-12 01:40:18 -06:00
Slava Pestov a41e502bad ui.gadgets.packs: cleanup 2009-02-12 01:40:02 -06:00
Slava Pestov a0aabffb31 Remove unused closable gadgets support 2009-02-12 01:39:38 -06:00
Slava Pestov db0c51a3bf repeat buttons: start firing on mouse down 2009-02-12 01:39:18 -06:00
Slava Pestov 1e26d4256a Add draw-scaled-image word, add some pens for rendering pixmaps 2009-02-12 01:39:03 -06:00
Slava Pestov 21d823757f ui.gadgets.tracks: fix incorrect behavior if fill was not set to 1 2009-02-12 00:59:10 -06:00
Slava Pestov e570ab2649 ui.gadgets.theme: New gadget theme from Joe Groff 2009-02-11 04:57:23 -06:00
Slava Pestov 45ce51260f Add ui.gadgets.icons 2009-02-11 04:56:38 -06:00
Slava Pestov 6e10a4a0c4 ui.tools.operations: fix shortcut for profiler 2009-02-11 04:56:15 -06:00
Slava Pestov 3dfae1781f Add min-dim slot to border gadgets 2009-02-11 04:56:01 -06:00
Slava Pestov bd5fb06cdf Use icons in completion popups and vocab browser 2009-02-11 04:55:49 -06:00
Slava Pestov 66392108e7 ui.gadgets.tables: support icons 2009-02-11 04:55:33 -06:00
Slava Pestov cfa285a646 Refactor texture cache 2009-02-11 04:54:06 -06:00
Slava Pestov da825003ae io.styles: support image style 2009-02-11 04:53:33 -06:00
Slava Pestov d1a5bf2073 Working on ui.images; change draw-gadget to translate to origin for you 2009-02-10 18:47:34 -06:00
Slava Pestov ab386d01aa Merge branch 'master' into new_ui 2009-02-10 16:23:14 -06:00
Slava Pestov 07caee3405 Update some existing code to use initialize 2009-02-10 16:16:12 -06:00
Slava Pestov 5be7a6777b Clean up Core Text rendering code, and factor our basis/cache and basis/opengl/texture-cache 2009-02-10 02:45:43 -06:00
Slava Pestov 08c0960cbf Fix ui.text.freetype to work across image save/reload 2009-02-09 22:51:53 -06:00
Slava Pestov a465da365f ui.tools.listener: position the input field next to the prompt 2009-02-09 22:40:11 -06:00
Slava Pestov 6667aa1238 ui.text.freetype: update for ui.text API changes 2009-02-09 18:07:33 -06:00
Slava Pestov 954596c947 ui.tools.listener: fix tests 2009-02-09 18:04:18 -06:00
Slava Pestov 699ac62bc9 ui.gadgets.paragraphs: update for wrap.words API 2009-02-09 01:47:41 -06:00
Slava Pestov 7b8e7f8092 Use call( in a bunch of places in the UI; update-ui infers now 2009-02-09 00:49:48 -06:00
Slava Pestov 3045777f02 Fix conflict 2009-02-09 00:34:00 -06:00
Slava Pestov cf4e0d78c3 Rework listener's debugger-popup code 2009-02-09 00:25:05 -06:00
Slava Pestov 3ac409e432 ui.gadgets.tables: clean up selected row rendering, add single-click mode 2009-02-09 00:23:47 -06:00
Slava Pestov 3391dc5935 wrappers: make new-wrapper inline 2009-02-09 00:23:26 -06:00
Slava Pestov 828ecde1ca ui.gadgets.theme: better selection color 2009-02-09 00:23:08 -06:00
Slava Pestov df62cb8edb Better error checking for labels and text rendering 2009-02-09 00:22:41 -06:00
Daniel Ehrenberg b65b88364c Updating lots of things to use call( -- ) 2009-02-08 22:12:11 -06:00
Slava Pestov 11347713f7 ui.gadgets.search-tables: update for ui.gadgets.tables protocol change 2009-02-08 04:27:24 -06:00
Slava Pestov f4ae56a85b ui.gadgets.line-support: common code for gadgets that display a vertical list of lines 2009-02-07 18:14:18 -06:00
Slava Pestov 06eb14573b ui.gadgets.panes: set background color of labels to page-color 2009-02-07 18:13:33 -06:00
Slava Pestov 9f49139057 ui.gadgets.editors and ui.gadgets.tables: factor out common code into ui.gadgets.line-support, fix selection rendering
documents: don't use dynamic variables inappropriately, clean up stack shuffling
2009-02-07 18:09:50 -06:00
Slava Pestov 176629055e Add support for rendering selected text to ui.text 2009-02-07 18:05:11 -06:00
Slava Pestov 703ea67ac4 Fix listener tests 2009-02-06 01:42:22 -06:00
Slava Pestov e3d4b88e8f UI listener: make history completion popup wider, use correct element type when inserting completions 2009-02-06 01:25:43 -06:00
Slava Pestov 148317846b Update various vocabularies for colors.constants 2009-02-05 22:17:15 -06:00
Slava Pestov e0f8a3a7b1 derive-font: output base font if font given is f 2009-02-05 22:16:07 -06:00
Slava Pestov 68d5e3ebaf Clean up listener completion; color code words by search path and private status, color code vocabs by load status 2009-02-05 22:15:17 -06:00
Slava Pestov 17e5997c0d ui.gadgets.tables: add row-color generic for row renderer protocol 2009-02-05 22:14:35 -06:00
Slava Pestov ef8d622b54 UI documentation and test fixes 2009-02-05 05:16:22 -06:00
Slava Pestov 38ed0f477a ui.gadgets.grid-lines: make it work with non-zero grid gap 2009-02-05 04:52:38 -06:00
Slava Pestov 64bb5b45c4 ui.gadgets.traceback: Cleanup 2009-02-05 04:12:57 -06:00
Slava Pestov 24b7437ff7 Add 'Inspect model' operation
ui.tools.traceback: use new UI inspector
2009-02-05 04:00:27 -06:00
Slava Pestov e74f891662 ui.gadgets.frames, ui.gadgets.grid-lines: update for grid refactoring 2009-02-05 03:31:18 -06:00
Slava Pestov 88b401b383 Rename math.geometry.rect to math.rectangles
Remove math.geometry.points
Remove rect-loc and rect-dim words
2009-02-05 03:28:41 -06:00
Slava Pestov 4c5b79ea57 ui.gadgets.debug: some gadgets for testing purposes 2009-02-04 05:26:01 -06:00
Slava Pestov e1260031b6 Grid layout now respects baselines when fill attribute is off
Paragraph gadgets now compute a baseline
2009-02-04 00:50:04 -06:00
Slava Pestov 69974440c4 Clean up ui.gadgets.grids 2009-02-02 15:58:28 -06:00
Slava Pestov 3eb5222186 Add CHAR: completion to UI listener 2009-02-02 15:58:09 -06:00
Slava Pestov 3ed8d9ccce Correctly compute pref-dim of gadgets with baseline alignment 2009-02-02 15:14:46 -06:00
Slava Pestov 193be29964 Working on baseline alignment 2009-02-02 13:45:06 -06:00
Slava Pestov 669548e62e Clean up some usages of tuck, and add Joe's curried cleave/spread/apply combinators to kernel vocabulary 2009-02-02 13:43:54 -06:00
Slava Pestov abb6c01a62 Refactor ui.gadgets.paragraphs to use wrap 2009-02-02 03:32:13 -06:00
Slava Pestov d31b902f96 Add horizontal and vertical orientation constants, working on baseline alignment 2009-02-02 00:02:55 -06:00
Slava Pestov 7b2a705352 <border> now takes a pair instead of an integer 2009-02-02 00:00:45 -06:00
Slava Pestov f93b2f1c29 Clean up line-metrics code 2009-02-01 23:58:05 -06:00
Slava Pestov ecf3d4f447 Add ui.text:line-metrics word, and core-text implementation 2009-02-01 20:32:49 -06:00
Slava Pestov 0835eb374b UI cleanup: make some ui.gadgets words private, give labels a virtual slot instead of label-string/set-label-string words 2009-02-01 20:31:42 -06:00
Slava Pestov 4513417657 Clean up some messy stack shuffling 2009-02-01 19:14:43 -06:00
Slava Pestov 92708c7231 Fix com-stack-effect 2009-02-01 03:27:10 -06:00
Slava Pestov 3d533c94ca Working on listener completion 2009-01-31 02:40:03 -06:00
Slava Pestov c253a81c99 Add gesture>operation word 2009-01-31 02:39:38 -06:00
Slava Pestov 7d632980d8 Add key-gesture superclass for key-down and key-up 2009-01-31 02:39:27 -06:00
Slava Pestov 36ebb97dc5 Fix usage. operation to run in listener 2009-01-30 23:52:17 -06:00
Slava Pestov 8e5c085b57 Fix commands tests, and chop off trailing dot 2009-01-30 23:52:02 -06:00
Slava Pestov 990c99a97e Add foreground and background color slots to font tuple 2009-01-30 03:36:39 -06:00
Slava Pestov 0a0431e6ab Fix conflict 2009-01-30 02:24:34 -06:00
Doug Coleman 3c408342ef renaming: contain? -> any?, deep-contains? -> deep-any?, pad-left -> pad-head, pad-right -> pad-tail, trim-left -> trim-head, trim-right -> trim-tail 2009-01-29 22:19:07 -06:00
Slava Pestov cadaf71372 Sub-pixel font smoothing works with Core Text now 2009-01-29 22:07:51 -06:00
Slava Pestov fc360f5ced Fix scroll>rect for recent scroller layout change 2009-01-29 16:44:18 -06:00
Slava Pestov f84ed37648 Fix FreeType text backend 2009-01-29 16:44:08 -06:00
Slava Pestov 478ef76801 Documents no longer mutatte their model's value 2009-01-29 03:04:23 -06:00
Slava Pestov 081ec95043 Make actions into singletons 2009-01-28 19:18:35 -06:00
Slava Pestov a98d59d93c Update ui.tools.listener docs 2009-01-28 17:27:42 -06:00
Slava Pestov 50ba37bdbe Update more documentation 2009-01-28 14:54:13 -06:00
Slava Pestov 0c22751674 Update editor docs 2009-01-28 14:50:15 -06:00
Slava Pestov d651bdc4d7 Clear undos when starting a new interaction in the listener 2009-01-28 12:12:03 -06:00
U-SLAVA-DFB8FF805\Slava b8ed7d20de Update Windows-specific code for stricter stack checking 2009-01-28 02:46:29 -06:00
Slava Pestov 1951d739a0 Stack effect declarations are mandatory on all words now
define-temp now takes an effect parameter
Fix compiler bug that Dan found
Stricter enforcement of * effects
Move compile-call from compiler.units to compiler
2009-02-23 20:27:05 -06:00
Slava Pestov af744e4511 Use singletons instead of empty tuples, add undo/redo to editor gadgets 2009-01-28 00:30:57 -06: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 b7c4f548f9 Add texture aging 2009-01-26 23:11:45 -06:00
Slava Pestov 72f63d3e4c Add operation to show thread traceback 2009-01-26 18:09:04 -06:00
Slava Pestov 231ba5234e Inspector can now invoke the primary operation 2009-01-26 18:08:54 -06:00
Slava Pestov b12d53938d Remove a spin usage 2009-01-26 17:58:43 -06:00
Slava Pestov f5d850f39e Display gesture modifiers using Mac OS X Unicode characters 2009-01-26 17:58:23 -06:00
Slava Pestov 9bf2675fa3 Remove two rot usages from UI 2009-01-26 16:30:17 -06:00
Slava Pestov 5aec661b92 Rename font key in io.styles to font-name for clarity; clean up some nefarious stack shuffling in ui.gadgets.panes 2009-01-26 16:25:57 -06:00
Slava Pestov e95cd5e19e Clear font cache on startup 2009-01-26 02:36:49 -06:00
Slava Pestov bb27511753 Fixing code for first-class fonts 2009-01-26 02:21:28 -06:00
Slava Pestov 4f5a927afb Move UI text backends to ui.text.*, move UI backends to ui.backend.*, add font datatype 2009-01-26 00:36:37 -06:00
Slava Pestov b95a587ce1 Add join lines command, C+j 2009-01-25 22:56:35 -06:00
Slava Pestov fe7c2fecbe Eliminate some more usages of tuck 2009-01-25 17:55:27 -06:00
Slava Pestov 2aa84a9b4f Fix a couple of bootstrap errors 2009-01-25 00:11:06 -06:00
Slava Pestov ef223f26d5 Fix conflict 2009-01-24 23:56:33 -06:00
Slava Pestov 622015adab Fix regression in ui.gadgets:screen-rect 2009-01-24 20:17:21 -06:00
Slava Pestov f34c14a0f5 Remove some usages of tuck 2009-01-23 18:20:47 -06:00
Slava Pestov 7114fd294f Fix error if up/down arrows pressed when table has no rows 2009-01-22 01:19:15 -06:00
Slava Pestov 2a7d353251 Debugging Core Text, get colored text working and fix memory management issue 2009-01-21 19:34:42 -06:00
Slava Pestov 7c1fcb3b98 Get text styles working with core-text binding 2009-01-21 00:39:32 -06:00
Slava Pestov 9f76476d26 Refactor Core Foundation binding a bit, add new >cf word to convert Factor objects to CF values 2009-01-20 23:06:23 -06:00
Slava Pestov 99012e2cd2 Move fonts back to fonts 2009-01-20 14:34:10 -06:00
Slava Pestov 25b0512fd6 Move fonts to basis/bitstream-vera
Use ui.cocoa.text instead of ui.freetype on Mac OS X
Update deploy tool to not copy fonts/ directory on Mac OS X
2009-01-20 14:31:09 -06:00
Slava Pestov fd7a47613e Move core-graphics types from cocoa.types to core-graphics.types, clean up some code 2009-01-19 16:29:52 -06:00
Slava Pestov 8509027428 UI listener: Status bar now shows summary for vocabs that are not loaded 2009-01-18 23:41:21 -06:00
Slava Pestov 7fdf7cc906 Clean up OpenGL code a bit 2009-01-18 20:10:08 -06:00
Slava Pestov 0e1e92ba92 Clean up menu code 2009-01-16 16:39:32 -06:00
Slava Pestov 3697fa1aa3 Word completion now adds the word's vocab to the USE: list 2009-01-16 15:54:40 -06:00
Slava Pestov cc8e049c02 Another clean up 2009-01-16 15:37:31 -06:00
Slava Pestov 5f2fd87ce1 Clean up history code 2009-01-16 15:22:13 -06:00
Slava Pestov ac898f94c5 Minor tweak to selection rendering 2009-01-16 14:58:59 -06:00
Slava Pestov 37407cde96 C-m expands macros in listener 2009-01-16 14:57:23 -06:00
Slava Pestov 64899f8187 Help lint fixes 2009-01-16 14:54:31 -06:00