#419 Consider a small patch to log.mgk

[Mr. D]

(Is priority 1 highest or 9? I assumed 1 was highest so if I was wrong please change this ticket to a fairly low priority)

I googled in vain for the format of the events line in log.mgk. I finally went to the source code. You might consider a simple patch:

$ diff -u config/log.mgk.orig config/log.mgk
--- config/log.mgk.orig 2017-04-14 12:37:36.000000000 -0500
+++ config/log.mgk 2017-04-14 20:45:02.184977900 -0500
@@ -5,7 +5,7 @@

The following options are available:

• o events
• o events [comma separated list]
  annotate Text annotation events.
  blob File opening/closing/loading events.
  cache Pixel cache events.

[Bob Friesenhahn]

Done. Thanks for the suggestion.