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 |