Package ket

Examples of ket.Selection.replace()

144
145
146
147
148
149
150
151
152
153
154
    switch (character) {
      case 'i': // TODO: Merge with appendNewSibling().
        ok = current.isBranch() || s.variableTokenToBranch(knownArguments);
        if (!ok) return;
        if (replacement!=null) {
          s.replace(replacement);
        }
        if (relative==RELATIVE_EDIT) {
          s.prependNewChild();
        } else {
          c.selectInOrOutLeft();
View Full Code Here
157
158
159
160
161
162
163
164
165
166
167
        break;
      case 'o': // TODO: Merge with prependNewSibling().
        ok = current.isBranch() || s.variableTokenToBranch(knownArguments);
        if (!ok) return;
        if (replacement!=null) {
          s.replace(replacement);
        }
        if (relative==RELATIVE_EDIT) {
          s.appendNewChild();
        } else {
          c.selectInOrOutRight();
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
          setMessage(current.toString());
        }
        break;
      case 'h':
        if (replacement!=null) {
          s.replace(replacement);
        }
        if (relative==RELATIVE_EDIT) {
          s.prependNewSibling();
        } else {
          c.selectLeft();
View Full Code Here
179
180
181
182
183
184
185
186
187
188
189
          setMessage(current.toString());
        }
        break;
      case 'l':
        if (replacement!=null) {
          s.replace(replacement);
        }
        if (relative==RELATIVE_EDIT) {
          s.appendNewSibling();
        } else {
          c.selectRight();
View Full Code Here
196
197
198
199
200
201
202
203
204
205
206
        boolean prepend = (character=='k');
        insertEquation(prepend);
        break;
      case ' ':
        if (replacement!=null) {
          s.replace(replacement);
        }
        if (relative==RELATIVE_EDIT) {
          document.getModes().setDocumentState(DocumentState.APPEND_PURPOSE);
          s.addNewIntermediaryParent();
        } else {
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
        return;
      default:
        // TODO: If you are only moving then approach this command as 'f*' or 'F+'.
        Function knownFunction =  knownArguments.getFunctionByChar(character);
        if (replacement!=null) {
          s.replace(replacement);
        }
        s.addIntermediaryParent(knownFunction);
        s.appendNewChild();
    }
    clear();
View Full Code Here
229
230
231
232
233
234
235
236
237
238
239
    Argument current = getSelection().getCurrent();
    EquationList el = current.getEquationList();
    Selection s = getSelection();
    Argument replacement = document.parseArgument(line.getLine());
    if (replacement!=null) {
      s.replace(replacement);
    }
  }

  public void insertEquation(boolean prepend) {
    /*-
 
View Full Code Here
263
264
265
266
267
268
269
270
271
272
273
    if (document.getModes().getDocumentState()==DocumentState.UPDATE_TEXT) { //! UPDATE_SUBSTITUTE UPDATE_TEXT
      // BROKEN
      document.getModes().setDocumentState(DocumentState.UPDATE_REPLACE);
      Argument replacement = nonblank ? document.parseArgument(line) : null;
      if (replacement!=null) {
        s.replace(replacement);
        setMessage(line);
      }
    } else {
      // WORKS!
      document.getModes().setDocumentState(DocumentState.UPDATE_TEXT);
View Full Code Here
270
271
272
273
274
275
276
277
278
279
280
      }
    } else {
      // WORKS!
      document.getModes().setDocumentState(DocumentState.UPDATE_TEXT);
      if (nonblank) {
        s.replace(new Token(new Text(line)));
        setMessage(line);
      }
    }
  }
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
    Argument replacement = document.parseArgument(getLine());
    boolean ok = current.isBranch() || s.variableTokenToBranch(knownArguments);
    if (!ok) return;
    // TODO: What about current.isRoot()?
    if (replacement!=null) {
      s.replace(replacement);
    }
    s.appendNewSibling();
    clear();
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.