Sublime text theme

[Yves Cloutier]

Hi there,

I've installed the plugin for sublime text. I was wondering what was the nice color scheme in the screenshot?

https://bitbucket.org/agraef/sublime-pure/raw/tip/sublime-pure.png

Regards,

yves

[Albert Graef]

I think that this was Monokai, which is Sublime's default if I'm not mistaken. But I'm not really sure any more (it's been a while since I've taken that screenie).

--
You received this message because you are subscribed to the Google Groups "pure-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+unsubscribe@googlegroups.com.
To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.

--

Dr. Albert Gr"af
Computer Music Research Group, JGU Mainz, Germany
Email:  agg...@gmail.com
WWW:    https://plus.google.com/+AlbertGraef

[Yves Cloutier]

Thanks Albert. Yes monokai is the default, but is different. very colorful.

It's ok i've found a site that is all sublime color themes. Having some fun looking at all the options ;)

On Wednesday, November 29, 2017 at 5:44:26 PM UTC-5, aggraef wrote:

I think that this was Monokai, which is Sublime's default if I'm not mistaken. But I'm not really sure any more (it's been a while since I've taken that screenie).

On Wed, Nov 29, 2017 at 11:16 PM, Yves Cloutier <yves.c...@gmail.com> wrote:

Hi there,

I've installed the plugin for sublime text. I was wondering what was the nice color scheme in the screenshot?

https://bitbucket.org/agraef/sublime-pure/raw/tip/sublime-pure.png

Regards,

yves

--
You received this message because you are subscribed to the Google Groups "pure-lang" group.

To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+...@googlegroups.com.

To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.