Options Contexts

[jps]

I agree, it'd be nice if project options were inherited by the view - I'll add it to the todo list.