Linux Mint

Overview
Code
Bugs
Blueprints
Translations
Answers

Bug #815005
Comment #1

Comment 1 for bug 815005

Revision history for this message

Heiko Voigt (hvoigt) wrote on 2011-07-23:

0001-rename-highlight-tool-to-highlight.mint.patch Edit (1.2 KiB, text/plain)

From what I can see the tool is different from the original highlight. Here is a RFC patch to mintsystem of what I propose as solution. I am not sure how to test this properly maybe someone could tell me in which places this tool is used.