Ошибка определения html вместо javascript

Форумы: highlight.js

1. Александр

   0

   0
   есть такой код:

   <pre><code>
   <script language="javascript">
   function get_size(el) {
   	//-- check IE --------------------
   	var this_ie = false;
   	/*@cc_on
   		/*@if (@_jscript)
   			this_ie = (document.all && !window.opera) ? true : false;
   		/*@else @*/
   			this_ie = false;
   		/*@end
   	@*/
   
   	var width = el.innerWidth;
   	var height = el.innerHeight;
   	return new Array(width, height, this_ie);
   }
   </script>
   </code></pre>

   так вот, ваш highlight.js упорно автоматически ставит ему стиль HTML.
   а вручную назначать имя класса не удобно, так как таких блоков много...
   можете пофиксить автоопределение?
   
   PS: эксепшен для ИЕ
   /*@if (@_jscript)
   this_ie = (document.all && !window.opera) ? true : false;
   полностью в цвете комментария, а по идее строка this_ie = .... должна восприниматься не в виде комментария
2. Иван Сагалаев

   

   0

   0

   так вот, ваш highlight.js упорно автоматически ставит ему стиль HTML.

   Так это и есть HTML — там есть тег <script>, внутри которого уже javascript. Если тег убрать, это будет чистый javascript.

   PS: эксепшен для ИЕ

   /*@if (@_jscript)
   this_ie = (document.all && !window.opera) ? true : false;
   

   полностью в цвете комментария, а по идее строка this_ie = .... должна восприниматься не в виде комментария

   Это не столько ошибка, сколько следствие того, что javascript описан без IEшных расширений. Буду рад, если кто-нибудь их определения допишет, сам я про них особенно ничего не знаю...

3. Александр

   0

   0
   а как-то объединить стили можно, что бы highlight раскрашивал как сам html, так и JS внутри него?
4. Иван Сагалаев

   

   0

   0

   Так он так и делает. Посмотрите на первое сообщение в этом топике: раскрашено и то, и то. Javascript только бледнее весь, но это вопрос стиля.

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