Make the minimap uses its own color theme

[vschiavoni]

It would be nice to be able to choose the color them used in the minimap panel, which by default uses the one chosen for the code as well.

[JulianEberius]

Hi,

thanks for your suggestion. I'm afraid this will be hard to implement, as the minimap is drawn by calling the textview's draw methods and then redirecting the output. One would have to constantly switch the theme between the draw calls for the textview and the minimap or something... I don't know if this would work well, especially since the minimap is partly updated in a background thread. I'll leave this open and look into it when I find the time.