Closed yuanzhou closed 8 years ago
Enabled the genptype expansion in mini map PR but forgot to disable it. Just noticed this when I was working on the scrollbars branch. Sending this PR as a quick fix together with some tiny code improvements.
Enabled the genptype expansion in mini map PR but forgot to disable it. Just noticed this when I was working on the scrollbars branch. Sending this PR as a quick fix together with some tiny code improvements.