[racket] Workspaces in DrRacket

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed May 1 20:02:13 EDT 2013

The plugin interface should let you do that. You can iterate over the top
tabs in a frame and get their definitions texts and from there get the
filenames and positions.

You might want to consider doing something like mac os x's terminal app and
instead of saving workspaces in files, instead just have a menu that lists
a few workspaces that a user can choose to open up all those files, letting
the user add and remove workspaces from that list.

Then, you'd just save the workspaces as preferences using the framework's
preference library.

Let me know if you have more specific questions.


On Wed, May 1, 2013 at 6:12 PM, Kieron Hardy <kieron.hardy at gmail.com> wrote:

> Hi all,
> I'd like to add a menu item (Workspace) to the DrRacket file menu that
> brings up a menu (Open, Save, Save As, Close, 1-n 'recent workspaces).
> 'Save/Save As' would take all the files open in the DrRacket window (and
> perhaps the location of the insertion point cursor and any text selection)
> and save them in a workspace file.
> 'Open' would take a workspace file, and open the listed files in separate
> tabs (and also perhaps moving the insertion point cursor and setting up
> text selections).
> Does anyone have already such a thing? (I seem to remember some workspace
> management package on Planet but can't find anything now.)
> If I need to implement myself where do I start? Thanks in advance for any
> hints or tips.
> Cheers,
> Kieron.
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130501/68616b40/attachment.html>

Posted on the users mailing list.