Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
It isn't completely clear what you are trying to achieve - do you want to use the selection color from filetypes.common or the color defined in your theme? If you want to use the color from the color theme, comment-out selection=0x000000;0x001332;false;true in filetypes.common.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.