Hopefully you know that https://github.com/spyder-ide/spyder is empty and issues are not pubic/not enabled, so the following doesn't work.
---------- Forwarded message ---------- From: <spyder...@googlecode.com> Date: Tue, Feb 17, 2015 at 3:34 AM Subject: Re: Issue 35 in spyderlib: Editor skin tweaks To: techto...@gmail.com Comment #5 on issue 35 by ccordoba12: Editor skin tweaks https://code.google.com/p/spyderlib/issues/detail?id=35 This issue was migrated to https://github.com/spyder-ide/spyder/issues/35 -- You received this message because you starred the issue. You may adjust your notification preferences at: https://code.google.com/hosting/settings -- anatoly t. -- You received this message because you are subscribed to the Google Groups "spyder" group. To unsubscribe from this group and stop receiving emails from it, send an email to spyderlib+unsubscr...@googlegroups.com. To post to this group, send email to spyderlib@googlegroups.com. Visit this group at http://groups.google.com/group/spyderlib. For more options, visit https://groups.google.com/d/optout.
