[racket-dev] "bookmarks" in drracket?
Two hours ago, Matthias Felleisen wrote:
>
> I would think that browser-like buttons are enough, and match the
> stack philosophy.
+1
> I also think that stacks are fine. If working with bookmarks suggest
> we want something else, we should explore this as a second step.
>
> Finally, I would hate to see these things saved in preference files.
+1 to this too: the preferences wouldn't be the right place for it.
Two hours ago, Robby Findler wrote:
> FWIW, if done well, I think saving them in the preferences file
> would be quite useful. Perhaps it would be good to have some kind of
> "restore last time's stack" or "clear out my current stack"
What happens when I synchronize my preferences between machines, or
use them from two machines with different files?
(Also, please don't use "stack" in a UI-visible way...)
Two hours ago, Asumu Takikawa wrote:
> On 2012-02-03 12:06:16 -0500, Stephen Chang wrote:
> > Any ideas on what the graphical representation should look like?
> > Should it be a popup window? Or a side bar?
>
> I like the idea of a breadcrumb UI (maybe at the bottom like PLaneT?):
> http://en.wikipedia.org/wiki/Breadcrumb_(navigation)
Same objection as Stephen's... I think that I've seen a
breadcrumb-as-history UI somewhere (which I can't rememeber, since
these things are very rare), and it was bad.
I like the chrome approach: just two arrow buttons, and a long click
drops down the history menu.
An hour and a half ago, John Clements wrote:
>
> One vaguely dangerous element here is that in the browser model,
> there's no persistent connection between a window and a source file,
> whereas an IDE typically does have one. Will this "back-arrow"
> functionality also work on jumps to definitions that live in
> different files? This opens up a bunch of UI questions for me.
> Possibly it's simpler just to ignore this for now.
+9
The difference between letting it navigate to other windows or not
make this a very different feature...
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!