set pwd as active file's folder, rather than active window's folder

[cjquines]

i often find it more useful for the pwd to be the active file's folder, rather than the active window's folder, and i imagine this is also more intuitive behavior. something like pwd = os.path.dirname(sublime.active_window().active_view().file_name()) in line 46 of __init__.py?

[zhiayang]

There's a slight problem with that (maybe it's a race condition?) because often the active_view ends up being the COQTOP pane itself. I did a slightly hacky workaround:

for view in sublime.active_window().views():
    if view.name() != "*COQTOP*":
        filename = os.path.dirname(view.file_name())
        break
pwd = os.path.dirname(filename)