Matthew Flatt
9d7a7a1520
line number fixes
...
- restore some method augments that I shouldn't have deleted
- handle font change through a style-list callback
2011-01-07 13:02:33 -07:00
Matthew Flatt
be6ba896e0
repairs for line numbers in DrRacket
2011-01-07 11:57:50 -07:00
Robby Findler
21050c2454
remove now useless private field
2011-01-06 10:09:09 -06:00
Robby Findler
c94ad960ac
ask about normalizing pastes only after pasting has finished (in case there are multiple calls to insert)
...
closes PR 11449
2011-01-06 08:39:32 -06:00
Matthew Flatt
c9d2f43398
fix line-number mixin
2011-01-05 09:57:33 -07:00
Jon Rafkind
6c3feabb52
restore dc state after calculating the clipping area
2011-01-04 22:24:36 -07:00
Jon Rafkind
d7ac9c4399
sest the line number padding when the editor changes. calculate the position to draw at better
2011-01-04 22:16:52 -07:00
Robby Findler
7eb3e8c28a
change drracket and framework so they don't rebind printf anymore
...
(instead binding oprintf to print to the original output port of drracket)
2011-01-02 10:03:24 -06:00
Jon Rafkind
11494ce8b9
use padding instead of manually moving the origin
2010-12-31 19:29:34 -07:00
Robby Findler
4e40efaf37
framework: sometimes put the text completion menu above the line instead of below it
...
closes PR 10829
2010-12-28 07:33:26 -06:00
Robby Findler
f849f25272
Rackety
2010-12-28 07:33:24 -06:00
Robby Findler
4c796a6445
added a 'fast path' check that speeds up the coloring phrase of check syntax by 3x on drracket/private/rep.rkt under windows
...
(thank you Eli's profiler!)
2010-12-20 12:22:46 -06:00
Jon Rafkind
ee62bae74b
save/restore dc state while drawing line numbers
2010-11-14 19:48:21 -07:00
Jon Rafkind
d920cdc945
set pen to black so the line separator is drawn in the right color
2010-11-08 18:10:08 -07:00
Jon Rafkind
96018f258c
check last-line + 1
2010-11-07 12:19:49 -07:00
Jon Rafkind
74fce96d92
add dx offset when drawing
2010-11-07 12:06:34 -07:00
Jon Rafkind
e0e3870a62
dont modify positions if line numbers arent being shown
2010-11-05 15:43:20 -06:00
Jon Rafkind
a698d89a75
adjust x position when finding editor locations
2010-11-05 15:15:01 -06:00
Jon Rafkind
c0d504b7b8
use a lighter color for same paragraph lines
2010-11-04 11:56:36 -06:00
Jon Rafkind
9742f896f9
right align numbers
2010-11-04 11:56:36 -06:00
Jon Rafkind
d1e44d0cc8
set minimum line width to accept 100 lines
2010-11-03 17:59:40 -06:00
Jon Rafkind
c3111c425b
allow line number width to increase automatically
2010-11-03 17:58:18 -06:00
Jon Rafkind
1093b4a430
get the line number from the paragraph
2010-11-03 17:16:34 -06:00
Jon Rafkind
68c197f639
clean up line numbers code
2010-11-03 15:15:54 -06:00
Jon Rafkind
4a69c36258
use line locations instead of counting snips
2010-11-03 14:56:05 -06:00
Jon Rafkind
87cc623a6f
set clipping for regular text. minor optimization when choosing line numbers to draw
2010-11-02 13:09:54 -06:00
Jon Rafkind
eb89a429e7
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
2010-11-01 23:45:00 -06:00
Jon Rafkind
4f3e87d42a
replace the line number widget in drracket with the new mixin from the framework
2010-11-01 22:14:45 -06:00
Jon Rafkind
281138d4b8
clean up line numbers implementation
2010-11-01 22:14:45 -06:00
Jon Rafkind
dc6350244d
add first draft of a mixin for text% objects that displays line numbers
2010-11-01 22:14:44 -06:00
Matthew Flatt
aac7e0b58a
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
2010-09-19 19:22:22 -06:00
Matthew Flatt
28b4043077
rename all files .ss -> .rkt
2010-04-27 16:50:15 -06:00
