Slava Pestov
|
ce41c5d642
|
fixed stack comments of read1, minor UI updates
|
2005-07-20 02:29:57 +00:00 |
|
Slava Pestov
|
2bdd8d33c2
|
missing IN: declaration
|
2005-07-20 01:52:10 +00:00 |
|
Slava Pestov
|
53ee5799b5
|
fix a typo
|
2005-07-20 01:27:52 +00:00 |
|
Slava Pestov
|
c7c29e29c2
|
init-world.factor did not load
|
2005-07-19 21:56:39 +00:00 |
|
Slava Pestov
|
c0f4f7f85d
|
moved tutorial to library/help/
|
2005-07-19 21:56:22 +00:00 |
|
Slava Pestov
|
bf59485c2f
|
more minor UI cleanups
|
2005-07-19 21:51:59 +00:00 |
|
Slava Pestov
|
b092647198
|
removed x/y variable usage from all places except frame layout
|
2005-07-19 21:40:32 +00:00 |
|
Slava Pestov
|
e232965f2e
|
minor UI cleanups; phasing out x and y variables
|
2005-07-19 21:31:01 +00:00 |
|
Slava Pestov
|
fc934d8630
|
fix incremental layout strategy bug
|
2005-07-19 20:56:57 +00:00 |
|
Slava Pestov
|
91d638450d
|
string-compare ==> lexi, string> ==> lexi>
|
2005-07-19 08:23:33 +00:00 |
|
Slava Pestov
|
65d35e51ec
|
graphical tutorial
|
2005-07-18 22:14:13 +00:00 |
|
Slava Pestov
|
639d970807
|
added inline declaration for hash-subset
|
2005-07-18 06:11:33 +00:00 |
|
Slava Pestov
|
1cbccb5956
|
documentation updates, minor code cleanups
|
2005-07-18 06:08:41 +00:00 |
|
Slava Pestov
|
065b93dbdf
|
removed fancy jEdit console attributed stream
|
2005-07-17 20:29:17 +00:00 |
|
Slava Pestov
|
34ba2a6bfc
|
finish stream-write-attr/stream-write1 split
|
2005-07-17 19:22:06 +00:00 |
|
Slava Pestov
|
9004533730
|
, no longer has the deprecated string append behavior, added stream-write1 generic
|
2005-07-17 18:48:55 +00:00 |
|
Slava Pestov
|
7565cc6b45
|
remove pair of unused style symbols
|
2005-07-17 07:47:25 +00:00 |
|
Slava Pestov
|
7f941feaf8
|
more UI paint cleanups, gradient paint added
|
2005-07-17 07:47:14 +00:00 |
|
Slava Pestov
|
9bcde6657d
|
UI paint cleanups
|
2005-07-17 06:49:07 +00:00 |
|
Slava Pestov
|
06aee28239
|
fix problem in fiber?; UI cleanups
|
2005-07-17 04:21:10 +00:00 |
|
Slava Pestov
|
d43c2d5fe9
|
fix bug in pick-up
|
2005-07-17 03:01:51 +00:00 |
|
Slava Pestov
|
d9c4a82c7a
|
big sequences refactoring
|
2005-07-17 02:16:18 +00:00 |
|
Slava Pestov
|
a1f3680708
|
ui listener shows the stack now, fixed gadget display command
|
2005-07-14 04:32:52 +00:00 |
|
Slava Pestov
|
e6327cec9b
|
presentation fixes, prettyprinter cleanup
|
2005-07-14 02:51:43 +00:00 |
|
Slava Pestov
|
841edc21c8
|
splitter layout fix
|
2005-07-14 01:28:23 +00:00 |
|
Slava Pestov
|
867dfe7ac9
|
memory usage improvement
|
2005-07-14 01:17:47 +00:00 |
|
Slava Pestov
|
7456d7edf8
|
remove paint namespace binding in ui
|
2005-07-14 01:03:34 +00:00 |
|
Slava Pestov
|
02a5067706
|
fix mouse enter/leave handling
|
2005-07-13 22:08:54 +00:00 |
|
Slava Pestov
|
85eabe43d3
|
fix unit test failures
|
2005-07-13 19:34:38 +00:00 |
|
Slava Pestov
|
52c1ea3d25
|
fix segfault, clean up code
|
2005-07-13 19:14:57 +00:00 |
|
Slava Pestov
|
f83823d31d
|
generation count is now configurable with a command line switch
|
2005-07-13 18:53:45 +00:00 |
|
Slava Pestov
|
a7279bd39c
|
removed remaining 2-dimensional point code from UI, minor enhancements to matrices library
|
2005-07-13 00:30:05 +00:00 |
|
Slava Pestov
|
520eaa65ef
|
minor UI fixes, updating html streams to not use obsolete style keys
|
2005-07-12 02:47:38 +00:00 |
|
Slava Pestov
|
d4e3075eeb
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
Slava Pestov
|
f12d34448f
|
incremental layout fixes
|
2005-07-09 20:49:13 +00:00 |
|
Slava Pestov
|
0a8477701a
|
fix hang with incremental layout
|
2005-07-09 20:08:50 +00:00 |
|
Slava Pestov
|
f69e594d90
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
Slava Pestov
|
46780d57c1
|
removed unused functions
|
2005-07-08 03:38:27 +00:00 |
|
Slava Pestov
|
7becf2be5d
|
fix typo
|
2005-07-08 00:17:34 +00:00 |
|
Slava Pestov
|
dd363f33a8
|
better presentations in UI
|
2005-07-06 07:29:42 +00:00 |
|
Slava Pestov
|
b11713a641
|
start incremental layout
|
2005-07-06 05:57:58 +00:00 |
|
Slava Pestov
|
287b207ccb
|
fixing the inspector
|
2005-07-06 05:56:01 +00:00 |
|
Slava Pestov
|
c4718d7c45
|
inspector
|
2005-07-06 05:28:45 +00:00 |
|
Slava Pestov
|
bc7e56c03a
|
inspector tests
|
2005-07-06 05:27:59 +00:00 |
|
Slava Pestov
|
96964fd084
|
fix f size crash
|
2005-07-06 05:13:01 +00:00 |
|
Slava Pestov
|
43348dd4c4
|
better focus protocol, fix problem with the first line in a pane
|
2005-07-04 22:36:07 +00:00 |
|
Slava Pestov
|
06e0804b5b
|
fix for jEdit 4.3pre3
|
2005-07-04 21:35:22 +00:00 |
|
Slava Pestov
|
930ac75dbd
|
simplified splitter gadget
|
2005-07-01 23:52:08 +00:00 |
|
Slava Pestov
|
7c65ed1423
|
Factor plugin 0.76
|
2005-06-30 18:33:28 +00:00 |
|
Slava Pestov
|
5c9955fa52
|
added norm, proj words for vectors, removed dot/proj for complex numbers, more UI strippage
|
2005-06-30 00:04:13 +00:00 |