From 58930ff539c1a08a2dee33b0aef14fff09839795 Mon Sep 17 00:00:00 2001 From: "nhotta%netscape.com" Date: Mon, 21 Jun 1999 20:22:52 +0000 Subject: [PATCH] Adding charset menu for html editor as a part of the bug fix for 7849. --- editor/ui/composer/content/EditorAppShell.xul | 112 ++++++++++++++++++ editor/ui/composer/content/EditorCommands.js | 9 ++ 2 files changed, 121 insertions(+) diff --git a/editor/ui/composer/content/EditorAppShell.xul b/editor/ui/composer/content/EditorAppShell.xul index 485da917cf65..ce1da346a813 100644 --- a/editor/ui/composer/content/EditorAppShell.xul +++ b/editor/ui/composer/content/EditorAppShell.xul @@ -16,6 +16,56 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/editor/ui/composer/content/EditorCommands.js b/editor/ui/composer/content/EditorCommands.js index b6539b0c6504..0997387d6516 100644 --- a/editor/ui/composer/content/EditorCommands.js +++ b/editor/ui/composer/content/EditorCommands.js @@ -196,6 +196,15 @@ function EditorShowClipboard() window.editorShell.ShowClipboard(); } +// --------------------------- View menu --------------------------- + +function EditorSetDocumentCharacterSet(aCharset) +{ + dump(aCharset); + dump(" NOT IMPLEMENTED YET\n"); +} + + // --------------------------- Text style --------------------------- function EditorSetTextProperty(property, attribute, value)