Redo is like "redo" action of every text editor. Redo does again some task undone by "Undo" operation. You can design a "Edit" menu with many options like that linked with one callback like this one:
// redo $scintilla->redo();
忘却曲線を使ってこの知識を確実に記憶に残す
