[Webkit-unassigned] [Bug 88838] New: Delete Grammar markers on editing
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Mon Jun 11 22:42:53 PDT 2012
https://bugs.webkit.org/show_bug.cgi?id=88838
Summary: Delete Grammar markers on editing
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Keywords: InChromiumBugs
Severity: Normal
Priority: P2
Component: WebCore Misc.
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: hbono at chromium.org
CC: rniwa at webkit.org, morrita at google.com
Greetings,
Sorry for my stupid mistakes.
Even though I my r113405 <http://trac.webkit.org/changeset/113405> prevent a selection change from removing markers as well as OS X Lion, I forgot setting WTF_USE_MARKER_REMOVAL_UPON_EDITING to 1 so WebKit can remove them when we edit misspelled words as Safari does. Also, Editor::updateMarkersForWordsAffectedByEditing() somehow does not remove grammar markers. It would be definitely helpful for Chromium to set the WTF_USE_MARKER_REMOVAL_UPON_EDITING flag and change the function to remove grammar markers as well?
Regards,
Hironori Bono
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list