| /* |
| * Copyright (C) 2005 Apple Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY |
| * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR |
| * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
| * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, |
| * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR |
| * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY |
| * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #include "config.h" |
| #include "InsertTextCommand.h" |
| |
| #include "CSSSerializationContext.h" |
| #include "CSSValuePool.h" |
| #include "Document.h" |
| #include "Editing.h" |
| #include "Editor.h" |
| #include "FontAttributes.h" |
| #include "HTMLElement.h" |
| #include "HTMLImageElement.h" |
| #include "HTMLInterchange.h" |
| #include "InsertListCommand.h" |
| #include "LocalFrame.h" |
| #include "MutableStyleProperties.h" |
| #include "PositionInlines.h" |
| #include "Text.h" |
| #include "TextIterator.h" |
| #include "TextListParser.h" |
| #include "VisibleUnits.h" |
| #include <wtf/text/StringToIntegerConversion.h> |
| |
| namespace WebCore { |
| |
| InsertTextCommand::InsertTextCommand(Ref<Document>&& document, const String& text, AllowPasswordEcho allowPasswordEcho, bool selectInsertedText, RebalanceType rebalanceType, EditAction editingAction) |
| : CompositeEditCommand(WTF::move(document), editingAction) |
| , m_text(text) |
| , m_allowPasswordEcho(allowPasswordEcho) |
| , m_selectInsertedText(selectInsertedText) |
| , m_rebalanceType(rebalanceType) |
| { |
| } |
| |
| InsertTextCommand::InsertTextCommand(Ref<Document>&& document, const String& text, Ref<TextInsertionMarkerSupplier>&& markerSupplier, EditAction editingAction) |
| : CompositeEditCommand(WTF::move(document), editingAction) |
| , m_text(text) |
| , m_selectInsertedText(false) |
| , m_rebalanceType(RebalanceLeadingAndTrailingWhitespaces) |
| , m_markerSupplier(WTF::move(markerSupplier)) |
| { |
| } |
| |
| Position InsertTextCommand::positionInsideTextNode(const Position& p) |
| { |
| Position pos = p; |
| if (parentTabSpanNode(pos.anchorNode())) { |
| auto textNode = document().createEditingTextNode(String { emptyString() }); |
| insertNodeAtTabSpanPosition(textNode.copyRef(), pos); |
| return firstPositionInNode(textNode); |
| } |
| |
| // Prepare for text input by looking at the specified position. |
| // It may be necessary to insert a text node to receive characters. |
| if (!pos.containerNode()->isTextNode()) { |
| auto textNode = document().createEditingTextNode(String { emptyString() }); |
| insertNodeAt(textNode.copyRef(), pos); |
| return firstPositionInNode(textNode); |
| } |
| |
| return pos; |
| } |
| |
| void InsertTextCommand::setEndingSelectionWithoutValidation(const Position& startPosition, const Position& endPosition) |
| { |
| // We could have inserted a part of composed character sequence, |
| // so we are basically treating ending selection as a range to avoid validation. |
| // <http://bugs.webkit.org/show_bug.cgi?id=15781> |
| VisibleSelection forcedEndingSelection; |
| forcedEndingSelection.setWithoutValidation(startPosition, endPosition); |
| forcedEndingSelection.setDirectionality(endingSelection().directionality()); |
| setEndingSelection(forcedEndingSelection); |
| } |
| |
| // This avoids the expense of a full fledged delete operation, and avoids a layout that typically results |
| // from text removal. |
| bool InsertTextCommand::performTrivialReplace(const String& text, bool selectInsertedText) |
| { |
| if (!endingSelection().isRange()) |
| return false; |
| |
| if (text.contains([](char16_t c) { return c == '\t' || c == ' ' || c == '\n'; })) |
| return false; |
| |
| Position start = endingSelection().start(); |
| Position endPosition = replaceSelectedTextInNode(text); |
| if (endPosition.isNull()) |
| return false; |
| |
| setEndingSelectionWithoutValidation(start, endPosition); |
| if (!selectInsertedText) |
| setEndingSelection(VisibleSelection(endingSelection().visibleEnd(), endingSelection().directionality())); |
| |
| return true; |
| } |
| |
| bool InsertTextCommand::performOverwrite(const String& text, bool selectInsertedText) |
| { |
| Position start = endingSelection().start(); |
| RefPtr<Text> textNode = start.containerText(); |
| if (!textNode) |
| return false; |
| |
| unsigned count = std::min(text.length(), textNode->length() - start.offsetInContainerNode()); |
| if (!count) |
| return false; |
| |
| replaceTextInNode(*textNode, start.offsetInContainerNode(), count, text); |
| |
| Position endPosition = Position(textNode.get(), start.offsetInContainerNode() + text.length()); |
| setEndingSelectionWithoutValidation(start, endPosition); |
| if (!selectInsertedText) |
| setEndingSelection(VisibleSelection(endingSelection().visibleEnd(), endingSelection().directionality())); |
| |
| return true; |
| } |
| |
| #if PLATFORM(COCOA) |
| bool InsertTextCommand::applySmartListsIfNeeded() |
| { |
| if (!selectionAllowsSmartLists(m_text, endingSelection())) |
| return false; |
| |
| // Get the start of the current line |
| |
| auto lineStart = logicalStartOfLine(endingSelection().visibleBase()); |
| if (lineStart.isNull() || lineStart.isOrphan()) { |
| ASSERT_NOT_REACHED(); |
| return false; |
| } |
| |
| // Create and parse the smart list for the current line, if possible. |
| |
| auto smartListRangeForCurrentLine = [&] -> std::optional<SimpleRange> { |
| // Get the range from the beginning of the line up until the current caret position, |
| // before `m_text` has been applied. |
| VisibleSelection line { lineStart, endingSelection().visibleExtent() }; |
| return line.firstRange(); |
| }; |
| |
| auto currentRange = smartListRangeForCurrentLine(); |
| if (!currentRange) |
| return false; |
| |
| // Convert the SimpleRange to a String, and then convert the String to a Style::ListStyleType |
| // (which itself is later converted to a CSSValue). |
| |
| auto currentLineText = plainText(*currentRange); |
| auto currentSmartList = parseTextList(currentLineText); |
| if (!currentSmartList) { |
| // The line content does not match the Smart List marker criteria. |
| return false; |
| } |
| |
| auto lineEnd = logicalEndOfLine(endingSelection().visibleBase()); |
| if (lineEnd.isNull() || lineEnd.isOrphan()) |
| return false; |
| |
| auto fullLineRange = VisibleSelection { lineStart, lineEnd }.firstRange(); |
| if (!fullLineRange) |
| return false; |
| |
| auto fullLineText = plainText(*fullLineRange); |
| if (fullLineText.find(' ') != notFound) |
| return false; |
| |
| // Create and parse the smart list for the previous line, if possible. |
| |
| auto smartListRangeForPreviousLine = [&] -> std::optional<SimpleRange> { |
| auto positionBeforeStartOfCurrentLine = lineStart.previous(); |
| auto previousLineStart = logicalStartOfLine(positionBeforeStartOfCurrentLine); |
| if (previousLineStart.isNull() || previousLineStart.isOrphan()) |
| return std::nullopt; |
| |
| auto previousLineEnd = logicalEndOfLine(positionBeforeStartOfCurrentLine); |
| if (previousLineEnd.isNull() || previousLineEnd.isOrphan()) |
| return std::nullopt; |
| |
| VisibleSelection previousLine { previousLineStart, previousLineEnd }; |
| return previousLine.firstRange(); |
| }; |
| |
| auto previousRange = smartListRangeForPreviousLine(); |
| if (!previousRange) |
| return false; |
| |
| auto previousLineText = plainText(*previousRange); |
| auto previousSmartList = parseTextList(previousLineText); |
| if (!previousSmartList) { |
| // The line content does not match the Smart List marker criteria. |
| return false; |
| } |
| |
| // Ensure there are no mismatches between the current and previous line list markers |
| |
| if (!areCompatibleListMarkers(*currentSmartList, *previousSmartList)) |
| return false; |
| |
| Ref styleToPreserve = EditingStyle::create(endingSelection().start(), EditingStyle::PropertiesToInclude::EditingPropertiesInEffect); |
| Ref document = this->document(); |
| |
| // Insert a list for the previous line |
| |
| auto listType = previousSmartList->ordered ? InsertListCommand::Type::OrderedList : InsertListCommand::Type::UnorderedList; |
| applyCommandToComposite(InsertListCommand::create(document.copyRef(), listType, previousSmartList->styleType), *previousRange); |
| |
| // And delete the marker from that line. |
| |
| if (RefPtr prevListChild = enclosingListChild(protect(endingSelection().base().anchorNode()))) { |
| if (RefPtr textNode = dynamicDowncast<Text>(prevListChild->firstDescendant())) { |
| auto spaceIndex = previousLineText.find(' '); |
| if (spaceIndex != WTF::notFound && spaceIndex + 1 <= textNode->length()) |
| deleteTextFromNode(*textNode, 0, spaceIndex + 1); |
| } |
| } |
| |
| // This list is the one that was just created or modified. |
| RefPtr listElement = enclosingList(protect(endingSelection().base().anchorNode())); |
| if (!listElement) { |
| ASSERT_NOT_REACHED(); |
| return false; |
| } |
| |
| // Apply the relevant attributes to the current list element |
| |
| auto attributes = nodeAttributesForSmartList(*listElement, *previousSmartList); |
| for (const auto& [attribute, value] : attributes) |
| setNodeAttribute(*listElement, attribute, value); |
| |
| // Insert a list for the current line, which will get merged into the prior line. |
| |
| applyCommandToComposite(InsertListCommand::create(document.copyRef(), listType, currentSmartList->styleType), *currentRange); |
| |
| // And delete the marker from the current line. |
| |
| deleteSelection(); |
| |
| styleToPreserve->prepareToApplyAt(endingSelection().end()); |
| if (!styleToPreserve->isEmpty()) |
| m_styleToPreserveForSmartList = WTF::move(styleToPreserve); |
| |
| m_smartListUndoData = { |
| previousLineText, |
| currentLineText, |
| listElement, |
| }; |
| |
| return true; |
| } |
| #endif // PLATFORM(COCOA) |
| |
| void InsertTextCommand::doApply() |
| { |
| ASSERT(m_text.find('\n') == notFound); |
| |
| if (endingSelection().isNoneOrOrphaned()) |
| return; |
| |
| // Delete the current selection. |
| // FIXME: This delete operation blows away the typing style. |
| if (endingSelection().isRange()) { |
| if (performTrivialReplace(m_text, m_selectInsertedText)) |
| return; |
| deleteSelection(false, true, true, false, false); |
| // deleteSelection eventually makes a new endingSelection out of a Position. If that Position doesn't have |
| // a renderer (e.g. it is on a <frameset> in the DOM), the VisibleSelection cannot be canonicalized to |
| // anything other than NoSelection. The rest of this function requires a real endingSelection, so bail out. |
| if (endingSelection().isNoneOrOrphaned()) |
| return; |
| } else if (document().editor().isOverwriteModeEnabled()) { |
| if (performOverwrite(m_text, m_selectInsertedText)) |
| return; |
| } |
| |
| Position startPosition(endingSelection().start()); |
| |
| Position placeholder; |
| // We want to remove preserved newlines and brs that will collapse (and thus become unnecessary) when content |
| // is inserted just before them. |
| // FIXME: We shouldn't really have to do this, but removing placeholders is a workaround for 9661. |
| // If the caret is just before a placeholder, downstream will normalize the caret to it. |
| Position downstream(startPosition.downstream()); |
| if (lineBreakExistsAtPosition(downstream)) { |
| // FIXME: This doesn't handle placeholders at the end of anonymous blocks. |
| VisiblePosition caret(startPosition); |
| if (isEndOfBlock(caret) && isStartOfParagraph(caret)) |
| placeholder = downstream; |
| // Don't remove the placeholder yet, otherwise the block we're inserting into would collapse before |
| // we get a chance to insert into it. We check for a placeholder now, though, because doing so requires |
| // the creation of a VisiblePosition, and if we did that post-insertion it would force a layout. |
| } |
| |
| // Insert the character at the leftmost candidate. |
| startPosition = startPosition.upstream(); |
| |
| // It is possible for the node that contains startPosition to contain only unrendered whitespace, |
| // and so deleteInsignificantText could remove it. Save the position before the node in case that happens. |
| Position positionBeforeStartNode(positionInParentBeforeNode(*protect(startPosition.containerNode()))); |
| |
| if (!document().editor().isInsertingTextForWritingSuggestion()) |
| deleteInsignificantText(startPosition, startPosition.downstream()); |
| |
| if (!startPosition.anchorNode()->isConnected()) |
| startPosition = positionBeforeStartNode; |
| if (!startPosition.isCandidate()) |
| startPosition = startPosition.downstream(); |
| |
| startPosition = positionAvoidingSpecialElementBoundary(startPosition); |
| if (endingSelection().isNoneOrOrphaned()) |
| return; |
| |
| Position endPosition; |
| |
| #if PLATFORM(COCOA) |
| if (applySmartListsIfNeeded()) { |
| // This branch is evaluated if Smart Lists are available, enabled, and contextually applicable. |
| // |
| // A Smart List is generated if the current input is the space character preceded by an eligible |
| // marker such as "2.", "-", "*", etc, at the beginning of a line. |
| // |
| // The start of the line, up to and including the space, is deleted from the DOM, and the corresponding |
| // list type (<ul> or <ol>) is inserted in it place, with a list element <li> contained within for the subsequent text. |
| // |
| // Since the space character acts as a "trigger" for Smart Lists, it should not actually be inserted. |
| |
| return; |
| } |
| #endif // PLATFORM(COCOA) |
| |
| if (m_text == "\t"_s) { |
| endPosition = insertTab(startPosition); |
| startPosition = endPosition.previous(); |
| if (placeholder.isNotNull()) |
| removePlaceholderAt(placeholder); |
| } else { |
| // Make sure the document is set up to receive m_text |
| startPosition = positionInsideTextNode(startPosition); |
| ASSERT(startPosition.anchorType() == Position::PositionIsOffsetInAnchor); |
| ASSERT(startPosition.containerNode()); |
| ASSERT(startPosition.containerNode()->isTextNode()); |
| if (placeholder.isNotNull()) |
| removePlaceholderAt(placeholder); |
| RefPtr<Text> textNode = startPosition.containerText(); |
| const unsigned offset = startPosition.offsetInContainerNode(); |
| |
| insertTextIntoNode(*textNode, offset, m_text, m_allowPasswordEcho); |
| endPosition = Position(textNode.get(), offset + m_text.length()); |
| if (m_markerSupplier) |
| protect(m_markerSupplier)->addMarkersToTextNode(*textNode, offset, m_text); |
| |
| if (m_rebalanceType == RebalanceLeadingAndTrailingWhitespaces) { |
| // The insertion may require adjusting adjacent whitespace, if it is present. |
| rebalanceWhitespaceAt(endPosition); |
| // Rebalancing on both sides isn't necessary if we've inserted only spaces. |
| if (!shouldRebalanceLeadingWhitespaceFor(m_text)) |
| rebalanceWhitespaceAt(startPosition); |
| } else { |
| ASSERT(m_rebalanceType == RebalanceAllWhitespaces); |
| ASSERT(textNodeForRebalance(startPosition) == textNodeForRebalance(endPosition)); |
| if (auto textForRebalance = textNodeForRebalance(startPosition)) { |
| ASSERT(textForRebalance == textNode); |
| rebalanceWhitespaceOnTextSubstring(*textNode, startPosition.offsetInContainerNode(), endPosition.offsetInContainerNode()); |
| } |
| |
| } |
| } |
| |
| setEndingSelectionWithoutValidation(startPosition, endPosition); |
| |
| RefPtr typingStyle = document().selection().typingStyle(); |
| |
| #if ENABLE(MULTI_REPRESENTATION_HEIC) |
| if (!typingStyle && document().selection().isCaret()) { |
| if (RefPtr imageElement = dynamicDowncast<HTMLImageElement>(document().selection().selection().start().deprecatedNode()); imageElement && imageElement->isMultiRepresentationHEIC()) |
| typingStyle = EditingStyle::create(imageElement.get()); |
| } |
| #endif |
| |
| if (typingStyle) { |
| typingStyle->prepareToApplyAt(endPosition, EditingStyle::ShouldPreserveWritingDirection::Yes); |
| if (!typingStyle->isEmpty()) |
| applyStyle(typingStyle.get()); |
| } |
| |
| if (!m_selectInsertedText) |
| setEndingSelection(VisibleSelection(endingSelection().end(), endingSelection().affinity(), endingSelection().directionality())); |
| } |
| |
| Position InsertTextCommand::insertTab(const Position& pos) |
| { |
| Position insertPos = VisiblePosition(pos).deepEquivalent(); |
| if (insertPos.isNull()) |
| return pos; |
| |
| RefPtr node = insertPos.containerNode(); |
| unsigned int offset = node->isTextNode() ? insertPos.offsetInContainerNode() : 0; |
| |
| // keep tabs coalesced in tab span |
| if (parentTabSpanNode(node.get())) { |
| Ref textNode = downcast<Text>(node.releaseNonNull()); |
| insertTextIntoNode(textNode, offset, "\t"_s); |
| return Position(WTF::move(textNode), offset + 1); |
| } |
| |
| // create new tab span |
| auto spanNode = createTabSpanElement(document()); |
| |
| // place it |
| if (RefPtr textNode = dynamicDowncast<Text>(*node)) { |
| if (offset >= textNode->length()) |
| insertNodeAfter(spanNode.copyRef(), *textNode); |
| else { |
| // split node to make room for the span |
| // NOTE: splitTextNode uses textNode for the |
| // second node in the split, so we need to |
| // insert the span before it. |
| if (offset > 0) |
| splitTextNode(*textNode, offset); |
| insertNodeBefore(spanNode.copyRef(), *textNode); |
| } |
| } else |
| insertNodeAt(spanNode.copyRef(), insertPos); |
| |
| // return the position following the new tab |
| return lastPositionInNode(spanNode); |
| } |
| |
| } |