97001 - Editor highlighter tool

Status: VERIFIED DUPLICATE of bug 77705

(Core :: DOM: Editor, enhancement)

Description

[James "Kovu" Russell]

One of the more useful tools I find in editing documents is to be able to
highlight and unhighlight text. I think this is already implemented in Mozilla,
and we simply would need to add a button interface for it.

1. Add a highlighter button. If we don't want it on by default, we can simply
have an unchecked checkbox for it somewhere in the prefs just like we do for the
Print button, etc., in the browser.

2. The button should have a drop-down arrow showing mini-buttons for various
highlighter colors.

3. Link these buttons to perform the same function as clicking the "Choose color
for background" button on Editor's Format toolbar.

That is, the "Choose color for background" button already performs the same
function as a highlighter, it changes the background color of the text.

In fact, I would probably argue that this tool coiuld replace that existing
button, because this tool in concept more clearly conveys to the user the
purpose of changing the background color: to highlight text. Plus, "Highlight"
is a shorter, more concise tooltip than "Choose color for background"

Comment 1

[James "Kovu" Russell]

Oops, I did it again:

Changing OS to ALL

sorry for the spam

Comment 2

[Daniel Glazman (:glazou) (not active in Mozilla any more)]

This is to be covered by the CSSization of Composer in bug 77705.
See also document http://www.mozilla.org/editor/adding-css-to-editor.html

Keeping this bug open w/o marking duplicate so I can remember about the
very clever difference between "highlighting" and "setting background color".
The first one implies a choice of fluo colors and I really like this feature.
We could probably gather both features in one single UI element and let
the color picker have 2 sets of pre-defined colors, one fluo set and one
normal set.

Thanks to reporter for this excellent suggestion.

Comment 3

[Daniel Glazman (:glazou) (not active in Mozilla any more)]

=> glazman

Comment 4

[Daniel Glazman (:glazou) (not active in Mozilla any more)]

This feature is now implemented by my work on 77705. Marking DUP because
it cannot be done w/o css.

*** This bug has been marked as a duplicate of 77705 ***

Comment 5

[sujay]

v