Matthew Flatt
3ae70e6617
fix doc typos
2016-03-15 18:44:41 -06:00
Matthew Flatt
2c5b1480f4
fix mouse wheel for GTK+ 3
...
Closes PR 15271
2016-03-15 13:28:13 -06:00
Robby Findler
50655cea7e
some more updates to follow TeX better for \var vs non-\var greek letters
...
Source: https://www.w3.org/TR/WD-math-970515/table04.html
Hat Tip: Max New
2016-03-10 21:54:30 -06:00
Robby Findler
1717521602
follow latex's \varepsilon vs \epsilon convention, as described here:
...
http://tex.stackexchange.com/questions/98013/varepsilon-vs-epsilon
2016-03-10 16:52:01 -06:00
Matthew Flatt
c4ef1829fc
Gtk: adjust handling of composed input
...
Intended to fix #29
2016-03-10 13:10:37 -07:00
Robby Findler
cf2859049a
add a preference to control the maximum reflow width
2016-03-08 09:29:48 -06:00
Robby Findler
28406b9a76
remove the restriction that new preferences can be registered only before a snapshot is grabbed
...
also improve the docs a little bit and some Rackety
2016-03-08 09:29:03 -06:00
Robby Findler
da7a258da8
bring down below 102 columns and fix a set! expression
...
to actually have an effect
2016-03-07 08:30:32 -06:00
Matthew Flatt
2ab1fb319a
rearrange dc fields to avoid undefined-checking chaperone
2016-03-02 08:42:55 -07:00
Asumu Takikawa
6b9cd9fa9c
Fix docs for get-search-hit-count to match code
2016-03-02 03:54:18 -05:00
Robby Findler
ab063326fe
change indentation strategy for sequences whose head is a keyword
...
assume that these are part of some internal structure of something
that, in general looks like
(#:x 1 #:y 2 #:z 3)
and so prefer to indent like this:
(#:x 1
#:y 2
#:z 3)
instead of like this:
(#:x 1
#:y 2
#:z 3)
2016-02-25 10:37:44 -06:00
Matthew Flatt
be30bf721d
Cocoa: avoid backing-dc failure on zero-sized canvas
...
Closes https://github.com/racket/racket#1255
2016-02-22 05:05:35 -07:00
Robby Findler
c8c8ce64eb
use the right font for sizing the line numbers invalidate region
...
closes #41
2016-02-19 09:03:39 -06:00
Robby Findler
d88ba8d2cd
fix on-scroll-to callback method when an editor has multiple canvases
...
closes PR 15252
2016-02-17 08:58:09 -06:00
Robby Findler
8e81b5346a
don't color parens when the colorer is stopped
2016-02-10 09:19:33 -06:00
Robby Findler
7d5144acba
adjust switchable-button so that it can change its label
2016-02-09 18:16:36 -06:00
Robby Findler
e9e2940138
adjust indentation so that it treats only symbols as things with
...
special indentation
(this could only come about if the regexp specification in the prefernces
matched (the printed out) version of strings, so it wouldn't happen with
the default preferences)
2016-02-09 13:44:30 -06:00
Leif Andersen
9411eb44c4
Add with-* to the set of lambda like expressions.
2016-02-06 19:45:57 -05:00
Matthew Flatt
5736535b8a
avoid spurious screen refresh on text-measure operations
...
The drawing layer now indicates whether drawing content was
changed as it releases a drawing handle.
2016-02-05 16:51:39 -07:00
Leif Andersen
f02fd8f338
Add link to weak reference.
2016-02-05 18:36:02 -05:00
Matthew Flatt
d28ab71058
fix -singleInstance
for GTK+3
...
Closes PR 15240
2016-02-05 10:40:04 -07:00
Robby Findler
021f9a6a0a
delay the creation of the information in the info text
...
this has the advantage of that the information is inserted when the
state of the text is set up so that font sizing works
it also means that if there is a syntax object with a syntax
object on its properties with another one like that etc etc etc
they will only be rendered when they are made visible which
theoretically could be a performance improvement for some people
2016-02-02 09:36:15 -06:00
Robby Findler
55e34bd6d4
make syntax snips inherit the style-list of the editors that contain them
2016-02-01 18:02:00 -06:00
Matthew Flatt
345a20c5e8
use NSOpenGLPFAAllowOfflineRenderers for GC bitmap
...
Try to tell Macs with two graphics cards that it's ok to
use the low-performance one for the GC bitmap (when
GL is used for that, which is OS X 10.11 and later).
2016-01-16 08:50:06 -07:00
Matthew Flatt
55d0d96dbe
Gtk: fix handling of widget to extract text colors
...
With GTK+ 3 on Raspbian, at least, the old management of the
widget causes a crash.
2016-01-12 10:05:09 -07:00
Matthew Flatt
e206dab087
use #:runtime?-id
for improved cross-build support
2016-01-09 09:47:28 -07:00
Matthew Flatt
4d5d08f07f
fix back-end reference for cross-build
2016-01-08 16:45:16 -07:00
Matthew Flatt
6e7964b0b7
include icons needed by "gui-lib" in the package
...
The "plt-logo-48x48.png" file is a copy of "plt-48x48.png" from
"icons", but renamed to avoid conflicts.
2016-01-08 16:31:52 -07:00
Matthew Flatt
dbce2e2878
avoid an NSTableColumn warning
2016-01-08 07:58:53 -07:00
Matthew Flatt
0e344def40
Windows play-sound: remove extra delay after async
2016-01-05 07:31:01 -07:00
Matthew Flatt
8ae077c22a
Windows play-sound: use the right custodian registration
...
Otherwise, a GC tends to terminate the sound.
2016-01-04 19:19:51 -07:00
Matthew Flatt
76c305852b
Windows play-sound: avoid leaks and shutdown on custodian
...
Also, stop a synchronous sound on a break exception.
2016-01-04 18:10:23 -07:00
Matthew Flatt
edc56ee8de
Windows: change play-sound
to use MCI
...
Provided by Eli Barzilay.
This approach is better than a separate process, because creating
too many processes can overwhelm the OS. Also, MCI supports more
sound formats.
2016-01-04 17:41:53 -07:00
Lehi Toskin
89007ae039
Fix typo, clarify get-file filter
2016-01-01 12:37:37 -06:00
Matthew Flatt
41d4e9dd2d
Cocoa: fix refresh and fullscreen problems
...
Add more agressive re-enabling of screen updates and explicit `update`
calls to avoid partially refreshed frames and never-updated titlebars
on El Capitan.
Also, use `close` instead of `orderOut` to hide a frame. That fixes
problems with closing windows that are in fullscreen mode.
Closes racket/drracket#33
2015-12-31 15:50:41 -07:00
Sam Tobin-Hochstadt
61c0b53716
Fix test for Unicode ellipsis.
2015-12-31 12:00:32 -05:00
Robby Findler
aeb2577715
make error message a little more informative
2015-12-29 21:25:28 -06:00
Matthew Flatt
196797b529
Windows: fix play-sound
to return a boolean
2015-12-28 10:09:10 -06:00
Matthew Flatt
bf442a8c99
refine docs on play-sound
2015-12-28 09:42:23 -06:00
Matthew Flatt
ca24d94cdc
Cocoa: avoid screen sync for GC-blit GL context
...
Affects 10.11 and up
2015-12-28 09:42:23 -06:00
Matthew Flatt
87c2317cbc
Windows: change play-sound
to run an external program
...
Running a sound through a separate process allows multiple
sounds to be played at once.
2015-12-28 08:24:34 -07:00
Robby Findler
fc61b26e04
fix snip test example setup
2015-12-27 08:26:03 -06:00
Matthew Flatt
87e17a89da
Windows: fix get-current-mouse-state
for HiDPI
2015-12-23 08:31:38 -07:00
Matthew Flatt
65fc1c4e8f
put-file: clarify filter and extension handling on Windows
2015-12-22 10:58:52 -07:00
Matthew Flatt
d170a8ff31
editor<%>: request incremental GC on key & mouse events
2015-12-19 12:45:25 -07:00
Matthew Flatt
446df9e047
put on-to-scroll
callbacks in a refresh sequence
...
Avoid flickering for the "#lang" line and documentation
wedge in DrRacket, for example.
2015-12-19 07:54:30 -07:00
Matthew Flatt
1944cd8dbd
regsiter-collecting-blit: support background bitmap in El Capitan
...
The GC blit implementation used on Mc OS X 10.11 assumed that
the no-GC bitmap is blank. Make it use the given no-GC bitmap.
Also, repair the left-to-right flipping(!) of the GC bitmap,
and repair a backing-scale mismatch that could leave a thin
border around a GC blit.
2015-12-18 16:05:48 -07:00
Robby Findler
7c43e6d876
fix contract-related errors in framework/splash
2015-12-18 11:21:04 -06:00
Robby Findler
3af5db35be
fix bugs in support and docs for the snip flag HANDLES-BETWEEN-EVENTS
...
(the previous commit was pushed too soon; it is completely broken. Apologies)
2015-12-17 22:24:59 -06:00
Robby Findler
759d89443f
add support and docs for the snip flag HANDLES-BETWEEN-EVENTS
2015-12-17 16:18:46 -06:00