home *** CD-ROM | disk | FTP | other *** search
- <!-- Options -->
- <!ENTITY webdeveloper.options.add "Add...">
- <!ENTITY webdeveloper.options.delete "Delete...">
- <!ENTITY webdeveloper.options.edit "Edit...">
- <!ENTITY webdeveloper.options.move.down "Move Down">
- <!ENTITY webdeveloper.options.move.up "Move Up">
- <!ENTITY webdeveloper.options.title "Web Developer Options">
-
- <!-- Pages -->
- <!ENTITY webdeveloper.options.colors.label "Colors">
- <!ENTITY webdeveloper.options.forms.label "Forms">
- <!ENTITY webdeveloper.options.general.label "General">
- <!ENTITY webdeveloper.options.javascript.label "JavaScript">
- <!ENTITY webdeveloper.options.keys.label "Keys">
- <!ENTITY webdeveloper.options.resize.label "Resize">
- <!ENTITY webdeveloper.options.sidebar.label "Sidebar">
- <!ENTITY webdeveloper.options.tidied.html.label "Tidied HTML">
- <!ENTITY webdeveloper.options.tools.label "Tools">
-
- <!-- Colors -->
- <!ENTITY webdeveloper.background.color.label "Background Color:">
- <!ENTITY webdeveloper.class.only.label "Class Only:">
- <!ENTITY webdeveloper.display.id.class.details.caption "Display ID & Class Details Colors">
- <!ENTITY webdeveloper.feature.tooltip.colors.caption "Feature Tooltip Colors">
- <!ENTITY webdeveloper.id.class.label "ID & Class:">
- <!ENTITY webdeveloper.id.only.label "ID Only:">
- <!ENTITY webdeveloper.opacity.label "Opacity:">
- <!ENTITY webdeveloper.text.color.label "Text Color:">
-
- <!-- Forms -->
- <!ENTITY webdeveloper.forms.caption "Forms">
- <!ENTITY webdeveloper.populate.form.fields.email.label "Email address to use for populating email form fields:">
-
- <!-- General -->
- <!ENTITY webdeveloper.context.hide "Hide the Web Developer context menu">
- <!ENTITY webdeveloper.general.caption "General">
- <!ENTITY webdeveloper.icons "Icons">
- <!ENTITY webdeveloper.icons.text "Icons & Text">
- <!ENTITY webdeveloper.menu.hide "Hide the Web Developer Tools menu">
- <!ENTITY webdeveloper.open.tabs "Open generated pages in tabs instead of windows">
- <!ENTITY webdeveloper.open.tabs.background "Open generated tabs in the background">
- <!ENTITY webdeveloper.options.reset "Reset Options...">
- <!ENTITY webdeveloper.outline.show.element.names "Show element names when outlining elements">
- <!ENTITY webdeveloper.tabs.windows.caption "Tabs v Windows">
- <!ENTITY webdeveloper.text "Text">
- <!ENTITY webdeveloper.toolbar.icons "Display Toolbar With:">
- <!ENTITY webdeveloper.view.source.tab "View source in a tab instead of a window (the source is not loaded from the cache)">
-
- <!-- JavaScript -->
- <!ENTITY webdeveloper.javascript.caption "JavaScript">
- <!ENTITY webdeveloper.javascript.options.strict "Enable strict JavaScript warnings">
- <!ENTITY webdeveloper.open.javascript.console.warning "Open the JavaScript console when the current page generates a warning">
- <!ENTITY webdeveloper.open.javascript.console.error "Open the JavaScript console when the current page generates a error">
-
- <!-- Keyboard -->
- <!ENTITY webdeveloper.keyboard.shortcuts.caption "Keyboard Shortcuts">
- <!ENTITY webdeveloper.keyboard.shortcuts.label "Any changes to keyboard shortcuts require a restart of the browser">
-
- <!-- Resize -->
- <!ENTITY webdeveloper.description.header "Description">
- <!ENTITY webdeveloper.height.header "Height">
- <!ENTITY webdeveloper.width.header "Width">
-
- <!-- Sidebar -->
- <!ENTITY webdeveloper.edit.css "Edit CSS">
- <!ENTITY webdeveloper.edit.css.font "Font Size (pixels):">
- <!ENTITY webdeveloper.edit.css.update.frequency "Automatic update frequency (milliseconds):">
- <!ENTITY webdeveloper.edit.css.wrap "Wrap textarea">
- <!ENTITY webdeveloper.view.style.information "View Style Information">
- <!ENTITY webdeveloper.view.style.information.sidebar "Display view style information results in the sidebar">
-
- <!-- Tidied HTML -->
- <!ENTITY webdeveloper.tidied.html.caption "Tidied HTML">
- <!ENTITY webdeveloper.tidied.html.close.br "Convert all <br> tags to <br />">
- <!ENTITY webdeveloper.tidied.html.escape.ampersand "Escape all unescaped ampersands">
-
- <!-- Tools -->
- <!ENTITY webdeveloper.key.header "Key">
- <!ENTITY webdeveloper.url.header "URL">
-