From eb7467621891b71883916c90f91bddf4c38d615f Mon Sep 17 00:00:00 2001 From: pifou Date: Thu, 5 Jul 2007 06:12:42 +0000 Subject: [PATCH] git-svn-id: svn://euphorik.ch/pompage@47 02bbb61a-6d21-0410-aba0-cb053bdfd66a --- conception/random.psd | Bin 16768 -> 16974 bytes doc/webdeveloper/about/about.css | 61 - doc/webdeveloper/about/about.js | 42 - doc/webdeveloper/about/about.xul | 26 - doc/webdeveloper/common/application.js | 169 -- doc/webdeveloper/common/array.js | 58 - doc/webdeveloper/common/cookie.js | 72 - doc/webdeveloper/common/css.js | 267 -- doc/webdeveloper/common/dom.js | 490 ---- doc/webdeveloper/common/file.js | 251 -- doc/webdeveloper/common/history.js | 37 - doc/webdeveloper/common/platform.js | 21 - doc/webdeveloper/common/preferences.js | 183 -- doc/webdeveloper/common/prompt.js | 78 - doc/webdeveloper/common/string.js | 31 - .../common/validation/accessibility.js | 354 --- doc/webdeveloper/common/validation/css.js | 268 -- doc/webdeveloper/common/validation/html.js | 283 -- doc/webdeveloper/common/xpath.js | 26 - doc/webdeveloper/contents.rdf | 23 - doc/webdeveloper/cookies.js | 579 ----- doc/webdeveloper/css.js | 701 ----- doc/webdeveloper/dashboard/dashboard.js | 280 -- doc/webdeveloper/dashboard/edit_css.css | 24 - doc/webdeveloper/dashboard/edit_css.js | 548 ---- doc/webdeveloper/dashboard/edit_css.xul | 41 - doc/webdeveloper/dashboard/edit_html.css | 10 - doc/webdeveloper/dashboard/edit_html.js | 252 -- doc/webdeveloper/dashboard/edit_html.xul | 35 - doc/webdeveloper/dialogs/cookie.js | 156 -- doc/webdeveloper/dialogs/cookie.xul | 52 - doc/webdeveloper/dialogs/outline_elements.js | 52 - doc/webdeveloper/dialogs/outline_elements.xul | 54 - doc/webdeveloper/dialogs/resize.js | 77 - doc/webdeveloper/dialogs/resize.xul | 37 - doc/webdeveloper/disable.js | 185 -- .../features/display_element_information.js | 555 ---- .../features/display_line_guides.js | 495 ---- .../features/display_page_magnifier.js | 195 -- .../features/display_page_validation.js | 451 ---- doc/webdeveloper/features/display_ruler.js | 445 ---- doc/webdeveloper/features/show_comments.js | 237 -- .../features/view_document_size.js | 594 ----- .../features/view_style_information.js | 348 --- doc/webdeveloper/forms.js | 1176 --------- doc/webdeveloper/generated/output_pivot.js | 118 - doc/webdeveloper/generated/table_pivot.js | 79 - doc/webdeveloper/generated/table_sort.js | 152 -- doc/webdeveloper/images.js | 1107 -------- .../images/content/arrow_down.png | Bin 201 -> 0 bytes .../images/content/arrow_left.png | Bin 277 -> 0 bytes doc/webdeveloper/images/content/arrow_up.png | Bin 201 -> 0 bytes doc/webdeveloper/images/content/collapsed.png | Bin 246 -> 0 bytes doc/webdeveloper/images/content/delete.png | Bin 655 -> 0 bytes doc/webdeveloper/images/content/edit.png | Bin 450 -> 0 bytes doc/webdeveloper/images/content/expanded.png | Bin 226 -> 0 bytes doc/webdeveloper/images/content/loading.gif | Bin 2209 -> 0 bytes doc/webdeveloper/images/features/ruler.png | Bin 187 -> 0 bytes doc/webdeveloper/images/logo/large.png | Bin 869 -> 0 bytes doc/webdeveloper/images/logo/medium.png | Bin 689 -> 0 bytes doc/webdeveloper/images/logo/small.png | Bin 512 -> 0 bytes doc/webdeveloper/images/spacer.gif | Bin 42 -> 0 bytes doc/webdeveloper/information.js | 2273 ----------------- doc/webdeveloper/message/message.css | 40 - doc/webdeveloper/message/message.js | 53 - doc/webdeveloper/message/message.xul | 22 - doc/webdeveloper/miscellaneous.js | 383 --- doc/webdeveloper/options/dialogs/resize.js | 75 - doc/webdeveloper/options/dialogs/resize.xul | 50 - doc/webdeveloper/options/dialogs/tool.css | 7 - doc/webdeveloper/options/dialogs/tool.js | 168 -- doc/webdeveloper/options/dialogs/tool.xul | 76 - .../options/dialogs/view_source_with.js | 92 - .../options/dialogs/view_source_with.xul | 51 - doc/webdeveloper/options/options.css | 44 - doc/webdeveloper/options/options.js | 1861 -------------- doc/webdeveloper/options/options.xul | 42 - .../options/pages/colors_fonts.xul | 71 - doc/webdeveloper/options/pages/dashboard.xul | 61 - doc/webdeveloper/options/pages/general.xul | 37 - doc/webdeveloper/options/pages/keys.xul | 23 - .../options/pages/miscellaneous.xul | 24 - doc/webdeveloper/options/pages/resize.xul | 37 - doc/webdeveloper/options/pages/tools.xul | 39 - doc/webdeveloper/options/pages/validation.xul | 46 - .../options/pages/view_source.xul | 41 - doc/webdeveloper/outline.js | 483 ---- doc/webdeveloper/resize.js | 256 -- .../disable_browser_default_styles.css | 26 - .../stylesheets/display_abbreviations.css | 11 - .../stylesheets/display_anchors.css | 20 - .../stylesheets/display_block_size.css | 7 - .../stylesheets/display_div_order.css | 7 - .../display_element_information.css | 113 - .../stylesheets/display_form_details.css | 211 -- .../stylesheets/display_line_guides.css | 66 - .../stylesheets/display_link_details.css | 71 - .../display_object_information.css | 17 - .../stylesheets/display_ruler.css | 71 - .../stylesheets/display_table_information.css | 22 - .../display_topographic_information.css | 110 - doc/webdeveloper/stylesheets/empty.css | 0 .../generated/generated_content.css | 297 --- .../generated/view_color_information.css | 29 - .../generated/view_document_outline.css | 106 - .../generated/view_document_size.css | 37 - .../generated/view_style_information.css | 39 - .../stylesheets/hide_background_images.css | 4 - doc/webdeveloper/stylesheets/hide_images.css | 16 - .../stylesheets/imports/before.css | 22 - .../stylesheets/imports/tooltips.css | 17 - .../stylesheets/linearize_page.css | 10 - .../stylesheets/make_images_invisible.css | 4 - .../stylesheets/outline_all_images.css | 11 - .../outline_block_level_elements.css | 17 - .../outline_block_level_elements_before.css | 81 - .../stylesheets/outline_current_element.css | 4 - .../outline_deprecated_elements.css | 5 - .../outline_deprecated_elements_before.css | 51 - .../stylesheets/outline_floated_elements.css | 5 - .../stylesheets/outline_frames.css | 9 - .../stylesheets/outline_headings.css | 35 - .../stylesheets/outline_headings_before.css | 31 - ...utline_images_with_adjusted_dimensions.css | 5 - ...tline_images_with_empty_alt_attributes.css | 5 - ...tline_images_with_oversized_dimensions.css | 5 - .../outline_images_without_alt_attributes.css | 5 - .../outline_images_without_dimensions.css | 5 - ...utline_images_without_title_attributes.css | 5 - .../outline_links_with_ping_attributes.css | 5 - ...outline_links_without_title_attributes.css | 5 - .../outline_non_secure_elements.css | 10 - .../outline_positioned_elements.css | 17 - .../stylesheets/outline_table_captions.css | 9 - .../stylesheets/outline_table_cells.css | 34 - .../outline_table_cells_before.css | 11 - .../stylesheets/outline_tables.css | 30 - .../stylesheets/show_comments.css | 42 - .../stylesheets/small_screen_rendering.css | 84 - .../stylesheets/use_border_box_model.css | 4 - .../stylesheets/view_style_information.css | 4 - doc/webdeveloper/tools.js | 162 -- doc/webdeveloper/upgrade.js | 158 -- doc/webdeveloper/view_source.js | 155 -- doc/webdeveloper/webdeveloper.css | 72 - doc/webdeveloper/webdeveloper.js | 2099 --------------- doc/webdeveloper/webdeveloper.xul | 1094 -------- 147 files changed, 23737 deletions(-) delete mode 100644 doc/webdeveloper/about/about.css delete mode 100644 doc/webdeveloper/about/about.js delete mode 100644 doc/webdeveloper/about/about.xul delete mode 100644 doc/webdeveloper/common/application.js delete mode 100644 doc/webdeveloper/common/array.js delete mode 100644 doc/webdeveloper/common/cookie.js delete mode 100644 doc/webdeveloper/common/css.js delete mode 100644 doc/webdeveloper/common/dom.js delete mode 100644 doc/webdeveloper/common/file.js delete mode 100644 doc/webdeveloper/common/history.js delete mode 100644 doc/webdeveloper/common/platform.js delete mode 100644 doc/webdeveloper/common/preferences.js delete mode 100644 doc/webdeveloper/common/prompt.js delete mode 100644 doc/webdeveloper/common/string.js delete mode 100644 doc/webdeveloper/common/validation/accessibility.js delete mode 100644 doc/webdeveloper/common/validation/css.js delete mode 100644 doc/webdeveloper/common/validation/html.js delete mode 100644 doc/webdeveloper/common/xpath.js delete mode 100644 doc/webdeveloper/contents.rdf delete mode 100644 doc/webdeveloper/cookies.js delete mode 100644 doc/webdeveloper/css.js delete mode 100644 doc/webdeveloper/dashboard/dashboard.js delete mode 100644 doc/webdeveloper/dashboard/edit_css.css delete mode 100644 doc/webdeveloper/dashboard/edit_css.js delete mode 100644 doc/webdeveloper/dashboard/edit_css.xul delete mode 100644 doc/webdeveloper/dashboard/edit_html.css delete mode 100644 doc/webdeveloper/dashboard/edit_html.js delete mode 100644 doc/webdeveloper/dashboard/edit_html.xul delete mode 100644 doc/webdeveloper/dialogs/cookie.js delete mode 100644 doc/webdeveloper/dialogs/cookie.xul delete mode 100644 doc/webdeveloper/dialogs/outline_elements.js delete mode 100644 doc/webdeveloper/dialogs/outline_elements.xul delete mode 100644 doc/webdeveloper/dialogs/resize.js delete mode 100644 doc/webdeveloper/dialogs/resize.xul delete mode 100644 doc/webdeveloper/disable.js delete mode 100644 doc/webdeveloper/features/display_element_information.js delete mode 100644 doc/webdeveloper/features/display_line_guides.js delete mode 100644 doc/webdeveloper/features/display_page_magnifier.js delete mode 100644 doc/webdeveloper/features/display_page_validation.js delete mode 100644 doc/webdeveloper/features/display_ruler.js delete mode 100644 doc/webdeveloper/features/show_comments.js delete mode 100644 doc/webdeveloper/features/view_document_size.js delete mode 100644 doc/webdeveloper/features/view_style_information.js delete mode 100644 doc/webdeveloper/forms.js delete mode 100644 doc/webdeveloper/generated/output_pivot.js delete mode 100644 doc/webdeveloper/generated/table_pivot.js delete mode 100644 doc/webdeveloper/generated/table_sort.js delete mode 100644 doc/webdeveloper/images.js delete mode 100644 doc/webdeveloper/images/content/arrow_down.png delete mode 100644 doc/webdeveloper/images/content/arrow_left.png delete mode 100644 doc/webdeveloper/images/content/arrow_up.png delete mode 100644 doc/webdeveloper/images/content/collapsed.png delete mode 100644 doc/webdeveloper/images/content/delete.png delete mode 100644 doc/webdeveloper/images/content/edit.png delete mode 100644 doc/webdeveloper/images/content/expanded.png delete mode 100644 doc/webdeveloper/images/content/loading.gif delete mode 100644 doc/webdeveloper/images/features/ruler.png delete mode 100644 doc/webdeveloper/images/logo/large.png delete mode 100644 doc/webdeveloper/images/logo/medium.png delete mode 100644 doc/webdeveloper/images/logo/small.png delete mode 100644 doc/webdeveloper/images/spacer.gif delete mode 100644 doc/webdeveloper/information.js delete mode 100644 doc/webdeveloper/message/message.css delete mode 100644 doc/webdeveloper/message/message.js delete mode 100644 doc/webdeveloper/message/message.xul delete mode 100644 doc/webdeveloper/miscellaneous.js delete mode 100644 doc/webdeveloper/options/dialogs/resize.js delete mode 100644 doc/webdeveloper/options/dialogs/resize.xul delete mode 100644 doc/webdeveloper/options/dialogs/tool.css delete mode 100644 doc/webdeveloper/options/dialogs/tool.js delete mode 100644 doc/webdeveloper/options/dialogs/tool.xul delete mode 100644 doc/webdeveloper/options/dialogs/view_source_with.js delete mode 100644 doc/webdeveloper/options/dialogs/view_source_with.xul delete mode 100644 doc/webdeveloper/options/options.css delete mode 100644 doc/webdeveloper/options/options.js delete mode 100644 doc/webdeveloper/options/options.xul delete mode 100644 doc/webdeveloper/options/pages/colors_fonts.xul delete mode 100644 doc/webdeveloper/options/pages/dashboard.xul delete mode 100644 doc/webdeveloper/options/pages/general.xul delete mode 100644 doc/webdeveloper/options/pages/keys.xul delete mode 100644 doc/webdeveloper/options/pages/miscellaneous.xul delete mode 100644 doc/webdeveloper/options/pages/resize.xul delete mode 100644 doc/webdeveloper/options/pages/tools.xul delete mode 100644 doc/webdeveloper/options/pages/validation.xul delete mode 100644 doc/webdeveloper/options/pages/view_source.xul delete mode 100644 doc/webdeveloper/outline.js delete mode 100644 doc/webdeveloper/resize.js delete mode 100644 doc/webdeveloper/stylesheets/disable_browser_default_styles.css delete mode 100644 doc/webdeveloper/stylesheets/display_abbreviations.css delete mode 100644 doc/webdeveloper/stylesheets/display_anchors.css delete mode 100644 doc/webdeveloper/stylesheets/display_block_size.css delete mode 100644 doc/webdeveloper/stylesheets/display_div_order.css delete mode 100644 doc/webdeveloper/stylesheets/display_element_information.css delete mode 100644 doc/webdeveloper/stylesheets/display_form_details.css delete mode 100644 doc/webdeveloper/stylesheets/display_line_guides.css delete mode 100644 doc/webdeveloper/stylesheets/display_link_details.css delete mode 100644 doc/webdeveloper/stylesheets/display_object_information.css delete mode 100644 doc/webdeveloper/stylesheets/display_ruler.css delete mode 100644 doc/webdeveloper/stylesheets/display_table_information.css delete mode 100644 doc/webdeveloper/stylesheets/display_topographic_information.css delete mode 100644 doc/webdeveloper/stylesheets/empty.css delete mode 100644 doc/webdeveloper/stylesheets/generated/generated_content.css delete mode 100644 doc/webdeveloper/stylesheets/generated/view_color_information.css delete mode 100644 doc/webdeveloper/stylesheets/generated/view_document_outline.css delete mode 100644 doc/webdeveloper/stylesheets/generated/view_document_size.css delete mode 100644 doc/webdeveloper/stylesheets/generated/view_style_information.css delete mode 100644 doc/webdeveloper/stylesheets/hide_background_images.css delete mode 100644 doc/webdeveloper/stylesheets/hide_images.css delete mode 100644 doc/webdeveloper/stylesheets/imports/before.css delete mode 100644 doc/webdeveloper/stylesheets/imports/tooltips.css delete mode 100644 doc/webdeveloper/stylesheets/linearize_page.css delete mode 100644 doc/webdeveloper/stylesheets/make_images_invisible.css delete mode 100644 doc/webdeveloper/stylesheets/outline_all_images.css delete mode 100644 doc/webdeveloper/stylesheets/outline_block_level_elements.css delete mode 100644 doc/webdeveloper/stylesheets/outline_block_level_elements_before.css delete mode 100644 doc/webdeveloper/stylesheets/outline_current_element.css delete mode 100644 doc/webdeveloper/stylesheets/outline_deprecated_elements.css delete mode 100644 doc/webdeveloper/stylesheets/outline_deprecated_elements_before.css delete mode 100644 doc/webdeveloper/stylesheets/outline_floated_elements.css delete mode 100644 doc/webdeveloper/stylesheets/outline_frames.css delete mode 100644 doc/webdeveloper/stylesheets/outline_headings.css delete mode 100644 doc/webdeveloper/stylesheets/outline_headings_before.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_with_adjusted_dimensions.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_with_empty_alt_attributes.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_with_oversized_dimensions.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_without_alt_attributes.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_without_dimensions.css delete mode 100644 doc/webdeveloper/stylesheets/outline_images_without_title_attributes.css delete mode 100644 doc/webdeveloper/stylesheets/outline_links_with_ping_attributes.css delete mode 100644 doc/webdeveloper/stylesheets/outline_links_without_title_attributes.css delete mode 100644 doc/webdeveloper/stylesheets/outline_non_secure_elements.css delete mode 100644 doc/webdeveloper/stylesheets/outline_positioned_elements.css delete mode 100644 doc/webdeveloper/stylesheets/outline_table_captions.css delete mode 100644 doc/webdeveloper/stylesheets/outline_table_cells.css delete mode 100644 doc/webdeveloper/stylesheets/outline_table_cells_before.css delete mode 100644 doc/webdeveloper/stylesheets/outline_tables.css delete mode 100644 doc/webdeveloper/stylesheets/show_comments.css delete mode 100644 doc/webdeveloper/stylesheets/small_screen_rendering.css delete mode 100644 doc/webdeveloper/stylesheets/use_border_box_model.css delete mode 100644 doc/webdeveloper/stylesheets/view_style_information.css delete mode 100644 doc/webdeveloper/tools.js delete mode 100644 doc/webdeveloper/upgrade.js delete mode 100644 doc/webdeveloper/view_source.js delete mode 100644 doc/webdeveloper/webdeveloper.css delete mode 100644 doc/webdeveloper/webdeveloper.js delete mode 100644 doc/webdeveloper/webdeveloper.xul diff --git a/conception/random.psd b/conception/random.psd index 3ef5876331cb097f6d35768cda3c9f24586ddf3e..9d1f125d2deb7a9a73e2c0830e29cc1e10937204 100644 GIT binary patch delta 792 zcmZo@W<1xzsAS<35X`{H00AsON)(8N88{f2Aws6lHY$ZOGFcc*?q^b)JfHC$gxLv;1S7^mr&u(sIXkcYzJox~t1)Tk#bvjJ>J~k#M82bgsErAT?cVH`d zc|wX3^NI@+i&FEFQyDCrJbhU}j$&Yt17co=5QZX#M20+uVuk`BUBr+IWG4ejuuA6l zV3m9f4FCUwSquy*j1V(q!F-?>H}8?;6_gYNazXwU24ax$HVh0bZx|SuzHWY`rOH&l zyQiU7C7k1@fPphJ=Om9w*L%wwC&HY|IeT{Uw?6e;q_yWjNB_rKD6X8zKbZ+_K( zJu=OIdHh0YN%{20Z_f8W-(OV!qW=0MxBm<(_n&O;(2Zti{!$fNSZfKi3#KLZPo1P_D6xBmW!QOCY!d$4NI=vv nNc{QFU;t8uDvqiL*))V5aF#L8Zw81}a3P=w%qf_1Ajbj#xitG& delta 524 zcmX@t!r0KvsAS<35X`{H00GQEN)(8N88{d~Y#=bL+Nc!D$Yh=}xt~dG@_fd35N11s zQlD(kJPj(j`7g65T%i?fJ-exuv9Xn*#pDC57I5}|*6A?i``DP6VC)whw*)pDNU;k_ z3Ipu~IR`|8oMOYk!19KHf$96^0Bu#K`kpnf?0tJLg(N6O#RQG?5$dV z;_~v>=~cn6QqC{7xorHZ`1kH_^$+4dtkn89x2`28rFMS*W;^?Ne^35rSoohI&Qt#P zy_f$PnD)Ng{6#mK5$2!GVftIxI5;^N7&yK#FijRR(__?J>}bZQ&II*_5RevPVEO+a zNGAX>hy-~rfdQluACN>A zgGHR|U~1%8zyee3d|A1G@y0b-z+M##ONr^-|H*&s)h5rdUo?50gW6;-heeYU9MvZO HaaaHV>$0&4 diff --git a/doc/webdeveloper/about/about.css b/doc/webdeveloper/about/about.css deleted file mode 100644 index 39a99e2..0000000 --- a/doc/webdeveloper/about/about.css +++ /dev/null @@ -1,61 +0,0 @@ -@import url("chrome://global/skin/"); -@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); - -description -{ - margin-left: 0 !important; -} - -separator, #webdeveloper-about-dialog -{ - margin: 0 !important; - padding: 0 !important; -} - -#webdeveloper-about-details -{ - background-color: #ffffff !important; - color: #000000 !important; - padding: 0.5em !important; -} - -#webdeveloper-about-details hbox -{ - background-image: url("chrome://webdeveloper/content/images/logo/large.png") !important; - background-position: top right !important; - background-repeat: no-repeat !important; - min-height: 35px !important; - padding-right: 35px !important; -} - -.date -{ - color: #999999 !important; -} - -.name -{ - font-size: x-large !important; - padding-right: 0.25em !important; -} - -.name, .title -{ - font-weight: bold !important; -} - -.title -{ - padding-top: 0.25em !important; -} - -.url -{ - color: #0000ff !important; - cursor: pointer !important; - text-decoration: underline !important; -} -.url:hover -{ - color: #ff0000 !important; -} \ No newline at end of file diff --git a/doc/webdeveloper/about/about.js b/doc/webdeveloper/about/about.js deleted file mode 100644 index b022f8c..0000000 --- a/doc/webdeveloper/about/about.js +++ /dev/null @@ -1,42 +0,0 @@ -// Opens the URL in a new tab -function webdeveloper_openURL(urlElement) -{ - var parentWindow = null; - var url = urlElement.firstChild.nodeValue; - - // If there is a parent window - if(window.opener) - { - // If there is a grand parent window - if(window.opener.opener) - { - parentWindow = window.opener.opener; - } - else - { - parentWindow = window.opener; - } - } - - // If a parent window was found - if(parentWindow) - { - // If the open in windows preference is set to true - if(webdeveloper_getBooleanPreference("webdeveloper.open.tabs", true)) - { - var newTab = parentWindow.getBrowser().addTab(url); - - // If the open tabs in background preference is not set or is set to false - if(!webdeveloper_getBooleanPreference("webdeveloper.open.tabs.background", true)) - { - parentWindow.getBrowser().selectedTab = newTab; - } - } - else - { - parentWindow.open(url); - } - - window.close(); - } -} diff --git a/doc/webdeveloper/about/about.xul b/doc/webdeveloper/about/about.xul deleted file mode 100644 index c18c0ca..0000000 --- a/doc/webdeveloper/about/about.xul +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - -