purescript-mode icon indicating copy to clipboard operation
purescript-mode copied to clipboard

Different inf buffer names based on directory

Open reactormonk opened this issue 7 years ago • 0 comments

Currently, there's only one name for the inf buffer with the PS IDE process - *psc-ide-server-*. So it's not possible to have multiple servers running.

Maybe related, but psc-ide-server-quit never finds the server.

reactormonk avatar Nov 29 '18 20:11 reactormonk