Ticket #328 (assigned defect)

Opened 3 years ago

Last modified 3 years ago

claims to install successfully, but doesn't seem to actually work

Reported by: anonymous Owned by: dyoo
Priority: major Milestone:
Component: divascheme/divascheme.plt Keywords:
Cc: Version: (1 6)
Racket Version: 5.1

Description

 Welcome to DrRacket, version 5.1 [3m].
 Language: racket; memory limit: 128 MB.
 > (require (planet divascheme/divascheme:1:6/install))
 DivaScheme should now be installed.

 To finish the installation, please restart DrScheme.
 Once restarted, F4 will toggle DivaScheme on and off.

 If you wish to install the launcher for generate-stags, see Help Desk on
 'generate-stags' for details.
 >

but then when I restart DrRacket? and hit F4 nothing happens. I remember
this extension working in previous versions of PLT, but it doesn't seem
compatible with the current version for some reason.

Change History

Changed 3 years ago by dyoo

  • owner changed from divascheme to dyoo
  • status changed from new to assigned

Apologies for the late response. I'll look at this.

Note: See TracTickets for help on using tickets.