Jon Rafkind
c333bc022e
use a lighter color for same paragraph lines
...
original commit: c0d504b7b84277e4b21d2ce0a97fb2d7d711df5e
2010-11-04 11:56:36 -06:00
Jon Rafkind
5d8c34a4ca
right align numbers
...
original commit: 9742f896f9916373f00448b3bc72f5ea86f654da
2010-11-04 11:56:36 -06:00
Jon Rafkind
729ebbabb0
set minimum line width to accept 100 lines
...
original commit: d1e44d0cc85838e4183b2a10330d6a69ec72bfd2
2010-11-03 17:59:40 -06:00
Jon Rafkind
67d668337c
allow line number width to increase automatically
...
original commit: c3111c425b2a85a90a5312e343d5a9144665d252
2010-11-03 17:58:18 -06:00
Jon Rafkind
fcec57d8fb
get the line number from the paragraph
...
original commit: 1093b4a43060cdd1e481e8570a7293538ab201ce
2010-11-03 17:16:34 -06:00
Jon Rafkind
52a60ead83
clean up line numbers code
...
original commit: 68c197f63920e1b2814beb2bb68a2c22117b6502
2010-11-03 15:15:54 -06:00
Jon Rafkind
a7e7bb6384
use line locations instead of counting snips
...
original commit: 4a69c362588381e28977a2529578911f2fc54c9b
2010-11-03 14:56:05 -06:00
Jon Rafkind
b444c0726d
set clipping for regular text. minor optimization when choosing line numbers to draw
...
original commit: 87cc623a6fd1815f4361e3117708f38989388b1a
2010-11-02 13:09:54 -06:00
Jon Rafkind
7a68394411
set the font before computing the distance between the line numbers and the real text. add an option to the general pane to enable line numbers
...
original commit: eb89a429e796f4ee0ae0d8e0bd154992e36dc0dc
2010-11-01 23:45:00 -06:00
Jon Rafkind
2388261846
replace the line number widget in drracket with the new mixin from the framework
...
original commit: 4f3e87d42a788de0f11f503f31deb8bc2069e890
2010-11-01 22:14:45 -06:00
Jon Rafkind
d68731be35
clean up line numbers implementation
...
original commit: 281138d4b8e7340a8cc35035f39fca8766a7b87f
2010-11-01 22:14:45 -06:00
Jon Rafkind
bd00bd5303
add first draft of a mixin for text% objects that displays line numbers
...
original commit: dc6350244d4d324dae97e863c2fc4a38d1b1dac3
2010-11-01 22:14:44 -06:00
Matthew Flatt
4155ffbbeb
extend invalidate-bitmap-cache' in editor<%>' with 'display-end option
...
which the framework's background-rectangle implementation can use
to queue refreshes for changing rectangles, instead of requiring a
full-canvas refresh
original commit: aac7e0b58a2dd7a5e964785b0162ab48c9081c8f
2010-09-19 19:22:22 -06:00
Matthew Flatt
5adf804728
rename all files .ss -> .rkt
...
original commit: 28b404307793f041bb3363135a2968e283855318
2010-04-27 16:50:15 -06:00
