dbuenzli / down

An OCaml toplevel (REPL) upgrade

Home Page:http://erratique.ch/software/down

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Last session convention

dbuenzli opened this issue · comments

Currently "" always refers to the last session that was loaded successfully.

It's a bit unclear whether this might not be surprising at times. Maybe a better convention would be the last session that was acted upon "in some way". For example:

# Down.Session.edit "mysession"
# Down.Session.edit "" (* should maybe open "mysession"  *)
# Down.Session.save "mysetup" 
# Down.Session.load "" (* should maybe load "mysetup" *)