| .. |
|
borders.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
buttons.factor
|
added norm, proj words for vectors, removed dot/proj for complex numbers, more UI strippage
|
2005-06-30 00:04:13 +00:00 |
|
colors.factor
|
splitter control in the UI works, improving panes, various UI cleanups
|
2005-06-26 00:39:53 +00:00 |
|
editors.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
events.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
fonts.factor
|
fix hang with incremental layout
|
2005-07-09 20:08:50 +00:00 |
|
frames.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
gadgets.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
gestures.factor
|
generic words are more flexible, sequences cleaned up
|
2005-05-14 21:18:45 +00:00 |
|
hand.factor
|
better focus protocol, fix problem with the first line in a pane
|
2005-07-04 22:36:07 +00:00 |
|
hierarchy.factor
|
fix hang with incremental layout
|
2005-07-09 20:08:50 +00:00 |
|
incremental.factor
|
incremental layout fixes
|
2005-07-09 20:49:13 +00:00 |
|
init-world.factor
|
incremental layout fixes
|
2005-07-09 20:49:13 +00:00 |
|
labels.factor
|
added norm, proj words for vectors, removed dot/proj for complex numbers, more UI strippage
|
2005-06-30 00:04:13 +00:00 |
|
layouts.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
line-editor.factor
|
more sequence cleanups
|
2005-05-18 20:26:22 +00:00 |
|
load.factor
|
start incremental layout
|
2005-07-06 05:57:58 +00:00 |
|
menus.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
paint.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
panes.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
points.factor
|
slowly refactoring UI code to use 3-vectors instead of a mix of x/y parameters on the stack, and complex numbers representing points, added horizontal scrolling
|
2005-06-22 06:32:17 +00:00 |
|
presentations.factor
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
rectangles.factor
|
fixes to menu code in UI, hacked up presentations in listener
|
2005-06-27 20:50:21 +00:00 |
|
scrolling.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
shapes.factor
|
working on styled text output in UI
|
2005-06-27 07:47:22 +00:00 |
|
splitters.factor
|
incremental layout fixes
|
2005-07-09 20:49:13 +00:00 |
|
text.factor
|
fix for jEdit 4.3pre3
|
2005-07-04 21:35:22 +00:00 |
|
ui.factor
|
working on styled text output in UI
|
2005-06-27 07:47:22 +00:00 |
|
world.factor
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
d4e3075eeb