-
По мотивам давних идей запустил на этих форумах и в блоге тестирование упакованной версии highlight.js.
13 языков — 1 файл на 10КБ, no kidding...
Буду благодарен за сообщения о глюках в раскраске и javascript'овых ошибках, если кто заметит. Даже если не связаны с новой версией :-)
-
А чем упаковано?
И немного покрасим
module Universe class Star attr_accessor :name, :mass attr_accessor :angle, :distance_from_sun, :star_class def initialize(*args) @name, @angle, @distance_from_sun, @mass, @star_class = args end def angle_in_radians (Math::PI / 180) * @angle end end endИ еще
html, body {padding: 0; margin: 0; position: relative; font:12px/1.4 Arial, Verdana, sans-serif; background: #333; color: #326ea1} a, a:link, a:visited, a:hover, #aside a:visited {text-decoration: none; color: #326ea1; border-bottom: 1px solid #326ea1} a:hover, #aside a:hover {color: #fff; background: #326ea1} a:visited { color: #2f4554; border-bottom-color: #2f4554 } -
Замена имен, составляющих API языка, на более короткие — в самих языках, и в библиотеке. Потом прогон через yuicompressor, ну и в конце концов gzip на сервере.
Можно забрать код с svn://softwaremaniacs.org/highlight/ посмотреть. Там в директории tools лежит pack.py, который все пакует в директорию build, а потом build.py, который по списку переданных языков делает общий highlight.pack.js
P.S. Вот почему тут Руби не узнался, надо проверить. По идее, должен был.
-
P.S. Вот почему тут Руби не узнался, надо проверить. По идее, должен был.
А, это старая проблема, не связанная с упаковкой, когда знак деления считается началом regexp'а, который никогда не заканчивается. Пока никак не могу ее решить :-(.
-
Во... Другое дело. Победил, кажется.
-
А какая дальнейшая судьба у плагина для WP?
-
Да собственно он никуда не девается. При скачивании все равно выдается большой пакет с кучей readme'шек, лицензий, стилей, исходников. Плагин тоже там есть. И упакованный вариант тоже.
Внимание! Это довольно старый топик, посты в него не попадут в новые, и их никто не увидит. Пишите пост, если хотите просто дополнить топик, а чтобы задать новый вопрос — начните новый.

