mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
Tim Edwards
a816da60f9
since all of the title images still had 8.2, and the title text still said 7.3 or 7.4, having not been updated for a long time.
70 lines
1.9 KiB
HTML
70 lines
1.9 KiB
HTML
<HTML>
|
|
<HEAD>
|
|
<STYLE type="text/css">
|
|
H1 {color: black }
|
|
H2 {color: maroon }
|
|
H3 {color: #007090 }
|
|
A.head:link {color: #0060a0 }
|
|
A.head:visited {color: #3040c0 }
|
|
A.head:active {color: white }
|
|
A.head:hover {color: yellow }
|
|
A.red:link {color: red }
|
|
A.red:visited {color: maroon }
|
|
A.red:active {color: yellow }
|
|
</STYLE>
|
|
</HEAD>
|
|
<TITLE>Magic-8.3 Command Reference</TITLE>
|
|
<BODY BACKGROUND=graphics/blpaper.gif>
|
|
<H1> <IMG SRC=graphics/magic_title8_3.png ALT="Magic VLSI Layout Tool Version 8.3">
|
|
<IMG SRC=graphics/magic_OGL_sm.gif ALIGN="top" ALT="*"> </H1>
|
|
|
|
<H2>redo</H2>
|
|
<HR>
|
|
Redo commands
|
|
<HR>
|
|
|
|
<H3>Shortcuts:</H3>
|
|
<BLOCKQUOTE>
|
|
Key macro <B>U</B> implements the command <B>redo</B>.
|
|
</BLOCKQUOTE>
|
|
|
|
<H3>Usage:</H3>
|
|
<BLOCKQUOTE>
|
|
<B>redo</B> [<B>print</B> [<I>count</I>]] <BR><BR>
|
|
<BLOCKQUOTE>
|
|
where <I>count</I> indicates a number of events to be redone
|
|
(default 1 event), and must be a nonzero positive integer.
|
|
</BLOCKQUOTE>
|
|
</BLOCKQUOTE>
|
|
|
|
<H3>Summary:</H3>
|
|
<BLOCKQUOTE>
|
|
The <B>redo</B> command reverses the effect of an <B>undo</B>
|
|
command, returning the layout in a specific window to the state
|
|
it was in prior to execution of the <B>undo</B> command. <P>
|
|
|
|
The <B>print</B> option allows stack tracing for the <B>redo</B>
|
|
command, printing the top <I>count</I> events on the event
|
|
stack in excruciating detail.
|
|
</BLOCKQUOTE>
|
|
|
|
<H3>Implementation Notes:</H3>
|
|
<BLOCKQUOTE>
|
|
<B>redo</B> is implemented as a built-in window command in <B>magic</B>.
|
|
</BLOCKQUOTE>
|
|
|
|
<H3>See Also:</H3>
|
|
<BLOCKQUOTE>
|
|
<A HREF=undo.html><B>undo</B></A> <BR>
|
|
</BLOCKQUOTE>
|
|
|
|
<P><IMG SRC=graphics/line1.gif><P>
|
|
<TABLE BORDER=0>
|
|
<TR>
|
|
<TD> <A HREF=commands.html>Return to command index</A>
|
|
</TR>
|
|
</TABLE>
|
|
<P><I>Last updated:</I> March 7, 2020 at 1:06pm <P>
|
|
</BODY>
|
|
</HTML>
|