suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
edc56ee8de
gui/gui-lib/mred/private/wx/win32
History
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
..
button.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
canvas.rkt Windows: avoid refresh on no-op canvas show-scrollbars 2015-12-03 05:36:42 -07:00
check-box.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
choice.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
clipboard.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
colordialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
const.rkt win32 support for frame% fullscreen and is-fullscreened? 2015-05-01 12:39:55 -06:00
cursor.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
dc.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
dialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
filedialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
font.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
frame.rkt fix problems and consistency with fullscreen in frame% 2015-10-04 14:19:00 -06:00
gauge.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
gcwin.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
gl-context.rkt implement GL screen sync for Windows canvases 2015-10-18 18:15:03 -06:00
group-panel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
hbitmap.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
icons.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
init.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
item.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
key.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
list-box.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
menu-bar.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
menu-item.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
menu.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
message.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
panel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
platform.rkt unbreak windows 2015-08-18 15:10:02 -06:00
printer-dc.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
procs.rkt Windows: fix get-current-mouse-state for HiDPI 2015-12-23 08:31:38 -07:00
queue.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
radio-box.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
slider.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
sound.rkt Windows: change play-sound to use MCI 2016-01-04 17:41:53 -07:00
tab-panel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
theme.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
types.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
utils.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
window.rkt add get-gl-client-size to canvas% 2015-08-18 15:10:02 -06:00
wndclass.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00