1. uestla

    29.08.2009

    0 ↑
    0 ↓
    Hi! First of all i want to thank you a lot for this great, simple-to-use and really quick-working highlighter!

    But I have a problem with "ini" highlighting... I have INI language in my package and this code:
    <pre><code class="ini">; comment

    id = 1;
    question = "How are you?";
    answers[] = "Great!";
    answers[] = "Not very well...";
    delay = 86400;</code></pre>
    Unfortunately the INI code isn't highlighted...

    Tested in IE 8.0, FF 3.5, Opera 9.64, Google Chrome 2.0 with no success.

    Do you know where's the problem? Thanks!
  2. Иван Сагалаев

    29.08.2009

    0 ↑
    0 ↓

    Hi!

    The problem is those "[]" in "answers[]". A setting name in .ini is defined to consist only of letters. Which is most likely just a mistake of not having enough test cases from the start. I think I'll update it to contain also numbers, underscores and square brakets (though admittedly I've never seen an .ini file with square brakets in setting names :-) ). It'll be in the next release.

  3. uestla

    29.08.2009

    0 ↑
    0 ↓
    Oh, thanks a lot, that would be lovely (I thought that the problem). Square brackets and underscores can you see in setting names for example in php.ini (setting with "[]" at the end of its name results in an array).
  4. uestla

    29.08.2009

    0 ↑
    0 ↓
    I'm sorry for that bad information: in php.ini there aren't any settings with name containing square brackets, but if you see the documentation of the php function parse_ini_file, there are few examples, where the square brackets are used...
  5. Иван Сагалаев

    29.08.2009

    0 ↑
    0 ↓

    I see. Thanks for this example!

  6. Иван Сагалаев

    01.09.2009

    0 ↑
    0 ↓

    I've just uploaded a new version 5.5 which should fix your case. Enjoy!

  7. uestla

    01.09.2009

    0 ↑
    0 ↓
    It works! Thank you so much!

Внимание! Это довольно старый топик, посты в него не попадут в новые, и их никто не увидит. Пишите пост, если хотите просто дополнить топик, а чтобы задать новый вопрос — начните новый.