#4080: TeXShop: use default TeX installation --------------------------------------+------------------------------------- Reporter: namely_void@… | Owner: snc@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: Port: TeXShop | --------------------------------------+------------------------------------- Comment(by snc@…): Is this even a bug anymore? TeXShop has a preference setting for what TeX tools it uses. -- Ticket URL: <http://trac.macports.org/ticket/4080#comment:8> MacPorts <http://www.macports.org/> Ports system for Mac OS