Subject: mailing-list for TeXmacs Users
List archive
From : Darcy Shen <address@hidden>- To: "texmacs-users" <address@hidden>
- Subject: Re: How to set default width for images?
- Date: Mon, 20 Sep 2021 22:21:20 +0800
- Arc-authentication-results: i=1; mx.zoho.com.cn; spf=pass smtp.mailfrom=address@hidden; dmarc=pass header.from=<address@hidden>
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com.cn; s=zohoarc; t=1632147681; h=Content-Type:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=5UDmzMs6DG3GytzKLKkS7P+88T1f+9RtpFNjInrhzdE=; b=Wb0Nj6xzXRyNeduxBd2kARVbQkPRgps75VHgxF52rqin8AeU6qj9UcCdR4lxGFlFki+1G2lsYYEkCYJ50hFXM84HK/7RwwJwcch54A3OUrqF6g/HVXjWIBJmfknV2tog0mAM33db623w/nm1S7HvhAw9+2MACTAJw846h93OW3E=
- Arc-seal: i=1; a=rsa-sha256; t=1632147681; cv=none; d=zoho.com.cn; s=zohoarc; b=BSd1QBjO0zLY1CpRBNT3MuouT7JxS8M01Jc66+4i3oTRce7Zkd0sH0LXh+3fLC5qx15kT9oZIRSFgLmqt7+EUa2P2T6UQPPfkzlMntf6R8c/QBoaiXBfutqCyaEuvD9xVRqHulmCGZKdxKStpldfKUk/ynxPwi0AEnJgDYxkXc4=
- Importance: Medium
The following code snippet might be helpful for you:
%tikz -width 0.5par
\usetikzlibrary{cd}
\begin{tikzcd}
A \arrow[r, tail, two heads, dashed] & B
\end{tikzcd}
The first line (magic line) tune the default width of the generated image.
---- On Wed, 2021-09-15 22:46:25 Hammer Functor <address@hidden> wrote ----
Hi there,
I’m trying to write some documents containing a lot of commutative diagrams, while the diagram created by tikz with default width looks large. I looked around to find some methods to define the default size or some function to modify the tree (like in-graphics? or get-graphical-object) and find nothing.
And possibly another question. How to unfold a specific `executable fold’? To keep the codes with diagrams, I have to press F10 many times to revert a former diagram to the code each time when I want to modify them. So is there any workaround?
Thanks!
Sincerely,
Hammer Hu
- How to set default width for images?, Hammer Functor, 09/15/2021
- Re: How to set default width for images?, Giovanni Piredda, 09/16/2021
- Re: How to set default width for images?, vincent douce, 09/16/2021
- Re: How to set default width for images?, Giovanni Piredda, 09/16/2021
- Re: How to set default width for images?, Giovanni Piredda, 09/18/2021
- Re: How to set default width for images?, Giovanni Piredda, 09/18/2021
- Re: How to set default width for images?, vincent douce, 09/16/2021
- Re: How to set default width for images?, Darcy Shen, 09/20/2021
- Re: How to set default width for images?, Giovanni Piredda, 09/16/2021
Archive powered by MHonArc 2.6.19.