List of remember() Examples

Examples of remember()

com.sk89q.worldedit.LocalSession.remember()
Remember an edit session for the undo history. If the history maximum size is reached, old edit sessions will be discarded. @param editSession the edit session
org.eclipse.wst.sse.ui.internal.selection.SelectionHistory.remember()

Examples of com.sk89q.worldedit.LocalSession.remember()

            }
        } finally {
            EditSession editSession = locals.get(EditSession.class);


            if (editSession != null) {
                session.remember(editSession);
                editSession.flushQueue();


                if (config.profile) {
                    long time = System.currentTimeMillis() - start;
                    int changed = editSession.getBlockChangeCount();

View Full Code Here

Examples of com.sk89q.worldedit.LocalSession.remember()

     */
    public void remember(Player player, EditSession editSession) {
        LocalPlayer wePlayer = wrapPlayer(player);
        LocalSession session = WorldEdit.getInstance().getSession(wePlayer);


        session.remember(editSession);
        editSession.flushQueue();


        WorldEdit.getInstance().flushBlockBag(wePlayer, editSession);
    }

View Full Code Here

Examples of com.sk89q.worldedit.LocalSession.remember()

        } else {
            actor.print("Killed " + killed + " mobs in a radius of " + radius + ".");
        }


        if (editSession != null) {
            session.remember(editSession);
            editSession.flushQueue();
        }
    }


    @Command(

View Full Code Here

Examples of com.sk89q.worldedit.LocalSession.remember()

        }


        actor.print("Marked " + (removed != 1 ? "entities" : "entity") + " for removal.");


        if (editSession != null) {
            session.remember(editSession);
            editSession.flushQueue();
        }
    }


    @Command(

View Full Code Here

Examples of org.eclipse.wst.sse.ui.internal.selection.SelectionHistory.remember()


          // select new selection
          if (newSelectionRegion != null) {
            SelectionHistory history = (SelectionHistory) editor.getAdapter(SelectionHistory.class);
            if (history != null) {
              history.remember(new Region(textSelection.getOffset(), textSelection.getLength()));
              try {
                history.ignoreSelectionChanges();
                textEditor.selectAndReveal(newSelectionRegion.getOffset(), newSelectionRegion.getLength());
              }
              finally {

View Full Code Here

TOP

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.