Currently, one installs Paperproof and then has to import it in every file where we want to see the Paperproof view. Is it somehow possible to globally define that I want to import it everywhere (ever project lean file) automatically? Kind of like a dependency-injection, such that users only have to add Paperproof as dependency to their lakefile & install the VSCode extension, but do nothing more.
Currently, one installs Paperproof and then has to import it in every file where we want to see the Paperproof view. Is it somehow possible to globally define that I want to import it everywhere (ever project lean file) automatically? Kind of like a dependency-injection, such that users only have to add Paperproof as dependency to their lakefile & install the VSCode extension, but do nothing more.
import Paperproof