[Stellarium-pubdevel] [patch] CompassMarks: fix for clashing compass marks and cardinal points

[Bogdan M. <dag...@gm...>]

Hello.

Attached is a patch for the CompassMarks plug-in that fixes the following bug:
http://sourceforge.net/tracker/?func=detail&aid=2789945&group_id=48857&atid=454373

Now the Cardinal Points and the Compass Marks buttons are mutually
exclusive - they can't be both on at the same time (but they can be
both off at the same time). The CompassMarks plug-in remembers the
previous state of the cardinal points and restores it when the compass
marks are turned off. If this is not the desired behaviour, feel free
to modify it.

Regards,
Bogdan Marinov

P.S. Please have a good look at the code. I have a terrible headache
and I'm not sure if I have picked the right way to do the job.