fix Eval creation when changing project

This commit is contained in:
Mark Harrah 2011-02-02 19:29:03 -05:00
parent bdf643f57a
commit e5eaf360c9
1 changed files with 2 additions and 2 deletions

View File

@ -30,10 +30,10 @@ final class ProjectNavigation(s: State)
def setProject(nuri: URI, nid: String) =
{
val neval = if(uri == nuri) session.currentEval else mkEval()
val neval = if(uri == nuri) session.currentEval else mkEval(nuri)
updateCurrent(s.put(SessionKey, session.setCurrent(nuri, nid, neval)))
}
def mkEval() = Load.lazyEval(structure.units(uri).unit)
def mkEval(nuri: URI) = Load.lazyEval(structure.units(nuri).unit)
def getRoot(uri: URI) = Load.getRootProject(structure.units)(uri)
def apply(action: Navigate): State =