On 17:41 Wed 16 Jul , Javier Serrano Polo wrote: JSP> Please do CC the bug submitter.
JSP>>> webdeveloper maintainer, do you have any plan to actually build JSP>>> from source this add-on? JSP> > wherefore? JSP> It's usually nice to include "the preferred form of the work for making JSP> modifications to it" and comply with the GPL. Since a package that JSP> builds from source has been requested, I'd like to know whether you had JSP> any plans to do it or I should proceed myself (a wontfix tag's an JSP> acceptable answer). I am not maintainer. XPI contains all sources, isnt it? Authors does not distribute releases in formats different from xpi: http://chrispederick.com/work/web-developer/ nbw:[~/tmp/webdeveloper-1.1.6]$ unzip web_developer-1.1.6-fx.xpi Archive: web_developer-1.1.6-fx.xpi creating: chrome/ inflating: chrome/webdeveloper.jar inflating: chrome.manifest inflating: install.js inflating: install.rdf inflating: license.txt nbw:[~/tmp/webdeveloper-1.1.6]$ cd chrome nbw:[~/tmp/webdeveloper-1.1.6/chrome]$ unzip webdeveloper.jar Archive: webdeveloper.jar creating: content/ creating: content/webdeveloper/ creating: content/webdeveloper/about/ creating: content/webdeveloper/common/ creating: content/webdeveloper/common/validation/ creating: content/webdeveloper/dashboard/ creating: content/webdeveloper/dialogs/ creating: content/webdeveloper/features/ creating: content/webdeveloper/generated/ creating: content/webdeveloper/images/ creating: content/webdeveloper/images/content/ creating: content/webdeveloper/images/features/ creating: content/webdeveloper/images/logo/ creating: content/webdeveloper/message/ creating: content/webdeveloper/options/ creating: content/webdeveloper/options/dialogs/ creating: content/webdeveloper/options/pages/ creating: content/webdeveloper/stylesheets/ creating: content/webdeveloper/stylesheets/generated/ creating: content/webdeveloper/stylesheets/imports/ creating: locale/ creating: locale/en-US/ creating: locale/en-US/webdeveloper/ creating: skin/ creating: skin/classic/ creating: skin/classic/webdeveloper/ creating: skin/classic/webdeveloper/dashboard/ creating: skin/classic/webdeveloper/menu/ creating: skin/classic/webdeveloper/options/ creating: skin/classic/webdeveloper/statusbar/ creating: skin/classic/webdeveloper/toolbar/ extracting: content/webdeveloper/about/about.css extracting: content/webdeveloper/about/about.js extracting: content/webdeveloper/about/about.xul extracting: content/webdeveloper/common/application.js extracting: content/webdeveloper/common/array.js extracting: content/webdeveloper/common/boolean.js extracting: content/webdeveloper/common/cookie.js extracting: content/webdeveloper/common/css.js extracting: content/webdeveloper/common/dom.js extracting: content/webdeveloper/common/file.js extracting: content/webdeveloper/common/history.js extracting: content/webdeveloper/common/platform.js extracting: content/webdeveloper/common/preferences.js extracting: content/webdeveloper/common/prompt.js extracting: content/webdeveloper/common/string.js extracting: content/webdeveloper/common/validation/accessibility.js extracting: content/webdeveloper/common/validation/css.js extracting: content/webdeveloper/common/validation/html.js extracting: content/webdeveloper/common/xpath.js extracting: content/webdeveloper/contents.rdf extracting: content/webdeveloper/cookies.js extracting: content/webdeveloper/css.js extracting: content/webdeveloper/dashboard/dashboard.js extracting: content/webdeveloper/dashboard/edit_css.css extracting: content/webdeveloper/dashboard/edit_css.js extracting: content/webdeveloper/dashboard/edit_css.xul extracting: content/webdeveloper/dashboard/edit_html.css extracting: content/webdeveloper/dashboard/edit_html.js extracting: content/webdeveloper/dashboard/edit_html.xul extracting: content/webdeveloper/dialogs/cookie.js extracting: content/webdeveloper/dialogs/cookie.xul extracting: content/webdeveloper/dialogs/outline_elements.js extracting: content/webdeveloper/dialogs/outline_elements.xul extracting: content/webdeveloper/dialogs/resize.js extracting: content/webdeveloper/dialogs/resize.xul extracting: content/webdeveloper/disable.js extracting: content/webdeveloper/features/display_element_information.js extracting: content/webdeveloper/features/display_line_guides.js extracting: content/webdeveloper/features/display_page_magnifier.js extracting: content/webdeveloper/features/display_page_validation.js extracting: content/webdeveloper/features/display_ruler.js extracting: content/webdeveloper/features/show_comments.js extracting: content/webdeveloper/features/view_document_size.js extracting: content/webdeveloper/features/view_style_information.js extracting: content/webdeveloper/forms.js extracting: content/webdeveloper/generated/output_pivot.js extracting: content/webdeveloper/generated/table_pivot.js extracting: content/webdeveloper/generated/table_sort.js extracting: content/webdeveloper/images.js extracting: content/webdeveloper/images/content/arrow_down.png extracting: content/webdeveloper/images/content/arrow_left.png extracting: content/webdeveloper/images/content/arrow_up.png extracting: content/webdeveloper/images/content/collapsed.png extracting: content/webdeveloper/images/content/delete.png extracting: content/webdeveloper/images/content/edit.png extracting: content/webdeveloper/images/content/expanded.png extracting: content/webdeveloper/images/content/loading.gif extracting: content/webdeveloper/images/features/ruler.png extracting: content/webdeveloper/images/logo/large.png extracting: content/webdeveloper/images/logo/medium.png extracting: content/webdeveloper/images/logo/small.png extracting: content/webdeveloper/images/spacer.gif extracting: content/webdeveloper/information.js extracting: content/webdeveloper/message/message.css extracting: content/webdeveloper/message/message.js extracting: content/webdeveloper/message/message.xul extracting: content/webdeveloper/miscellaneous.js extracting: content/webdeveloper/options/dialogs/resize.js extracting: content/webdeveloper/options/dialogs/resize.xul extracting: content/webdeveloper/options/dialogs/tool.css extracting: content/webdeveloper/options/dialogs/tool.js extracting: content/webdeveloper/options/dialogs/tool.xul extracting: content/webdeveloper/options/dialogs/view_source_with.js extracting: content/webdeveloper/options/dialogs/view_source_with.xul extracting: content/webdeveloper/options/options.css extracting: content/webdeveloper/options/options.js extracting: content/webdeveloper/options/options.xul extracting: content/webdeveloper/options/pages/colors_fonts.xul extracting: content/webdeveloper/options/pages/dashboard.xul extracting: content/webdeveloper/options/pages/general.xul extracting: content/webdeveloper/options/pages/keys.xul extracting: content/webdeveloper/options/pages/miscellaneous.xul extracting: content/webdeveloper/options/pages/resize.xul extracting: content/webdeveloper/options/pages/tools.xul extracting: content/webdeveloper/options/pages/validation.xul extracting: content/webdeveloper/options/pages/view_source.xul extracting: content/webdeveloper/outline.js extracting: content/webdeveloper/resize.js extracting: content/webdeveloper/stylesheets/disable_browser_default_styles.css extracting: content/webdeveloper/stylesheets/display_abbreviations.css extracting: content/webdeveloper/stylesheets/display_anchors.css extracting: content/webdeveloper/stylesheets/display_block_size.css extracting: content/webdeveloper/stylesheets/display_div_order.css extracting: content/webdeveloper/stylesheets/display_element_information.css extracting: content/webdeveloper/stylesheets/display_form_details.css extracting: content/webdeveloper/stylesheets/display_line_guides.css extracting: content/webdeveloper/stylesheets/display_link_details.css extracting: content/webdeveloper/stylesheets/display_object_information.css extracting: content/webdeveloper/stylesheets/display_ruler.css extracting: content/webdeveloper/stylesheets/display_table_information.css extracting: content/webdeveloper/stylesheets/display_topographic_information.css extracting: content/webdeveloper/stylesheets/empty.css extracting: content/webdeveloper/stylesheets/generated/generated_content.css extracting: content/webdeveloper/stylesheets/generated/view_color_information.css extracting: content/webdeveloper/stylesheets/generated/view_document_outline.css extracting: content/webdeveloper/stylesheets/generated/view_document_size.css extracting: content/webdeveloper/stylesheets/generated/view_style_information.css extracting: content/webdeveloper/stylesheets/hide_backgroundeloper/stylesheets/outline_table_captions.css extracting: content/webdeveloper/stylesheets/outline_table_cells.css extracting: content/webdeveloper/stylesheets/outline_table_cells_before.css extracting: content/webdeveloper/stylesheets/outline_tables.css extracting: content/webdeveloper/stylesheets/show_comments.css extracting: content/webdeveloper/stylesheets/small_screen_rendering.css extracting: content/webdeveloper/stylesheets/use_border_box_model.css extracting: content/webdeveloper/stylesheets/view_style_information.css extracting: content/webdeveloper/tools.js extracting: content/webdeveloper/upgrade.js extracting: content/webdeveloper/view_source.js extracting: content/webdeveloper/webdeveloper.css extracting: content/webdeveloper/webdeveloper.js extracting: content/webdeveloper/webdeveloper.xul extracting: locale/en-US/webdeveloper/contents.rdf extracting: locale/en-US/webdeveloper/dashboard.dtd extracting: locale/en-US/webdeveloper/dialogs.dtd extracting: locale/en-US/webdeveloper/menu.dtd extracting: locale/en-US/webdeveloper/options.dtd extracting: locale/en-US/webdeveloper/webdeveloper.properties extracting: skin/classic/webdeveloper/contents.rdf extracting: skin/classic/webdeveloper/dashboard/apply-css.png extracting: skin/classic/webdeveloper/dashboard/apply-html.png extracting: skin/classic/webdeveloper/dashboard/clear.png extracting: skin/classic/webdeveloper/dashboard/open.png extracting: skin/classic/webdeveloper/dashboard/position.png extracting: skin/classic/webdeveloper/dashboard/reset.png extracting: skin/classic/webdeveloper/dashboard/save.png extracting: skin/classic/webdeveloper/dashboard/search.png extracting: skin/classic/webdeveloper/dashboard/stick.png extracting: skin/classic/webdeveloper/dashboard/unstick.png extracting: skin/classic/webdeveloper/menu/disabled.png extracting: skin/classic/webdeveloper/options/colors-fonts.png extracting: skin/classic/webdeveloper/options/dashboard.png extracting: skin/classic/webdeveloper/options/ge -- ... mpd is off . ''`. Dmitry E. Oboukhov : :’ : [EMAIL PROTECTED] `. `~’ GPGKey: 1024D / F8E26537 2006-11-21 `- 1B23 D4F8 8EC0 D902 0555 E438 AB8C 00CF F8E2 6537
signature.asc
Description: Digital signature