search

andreikop / enki

A text editor for programmers
http://enki-editor.org
GNU General Public License v2.0
161 stars 38 forks source link

Split gui #281

Closed bjones1 closed 9 years ago

bjones1 commented 9 years ago

Address issue https://github.com/bjones1/enki/issues/38 by splitting the Preview settings GUI into two separate panels.

andreikop commented 9 years ago

Thanks!

Documentation generat... does not fit in the list view. Do you mind renaming it to Shpinx documentation?

bjones1 commented 9 years ago

Eventually, I'd like to add support for other documentation generators (doxygen, javadoc, etc.), hence the title. Ideas:

  1. Break it into two lines? "Documentation\n generators"?
  2. Shorten it to "Doc. generators"
  3. Just use "Sphinx"
andreikop commented 9 years ago

It won't be difficult to change the name later when we support one more doc generator. So, "Sphinx" Btw, during day time under Europe I'm often available on irc.freenode.net #enki for quicker interaction

bjones1 commented 9 years ago

Sphinx sounds good. I'll submit a pull request.

I'll try IRC when it's daytime for you...

andreikop commented 9 years ago

I'll just rename. Too many burocracy for 1 word

-----Исходное сообщение----- От: "bjones1" notifications@github.com Отправлено: ‎30.‎04.‎2015 18:38 Кому: "hlamer/enki" enki@noreply.github.com Копия: "Andrei Kopats" hlamer@tut.by Тема: Re: [enki] Split gui (#281)

Sphinx sounds good. I'll submit a pull request. I'll try IRC when it's daytime for you... — Reply to this email directly or view it on GitHub.

bjones1 commented 9 years ago

OK, thanks!