Hi and thank you for your bug report! I examined the patch and have a
question about it.
What is the purpose of "} else if (new
File("xslthl-config.xml").isFile()) {"? As far as I understand it will
always be true. What did I miss?I would only change configFilename = "xslthl-config.xml"; to configFilename = "/usr/share/xslthl/highlighters/xslthl-config.xml"; -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
