Re: Scalebox / Resizebox via GUI?

2018-08-24 Thread Joel Kulesza


> On Aug 24, 2018, at 02:13, Jürgen Spitzmüller  wrote:
> 
> Am Mittwoch, den 22.08.2018, 16:06 -0600 schrieb Joel Kulesza:
>> P.S. Is there a reason this is in a module and not in the GUI
>> natively?
> 
> Because it is so much easier to hack together a module than to add
> proper GUI support.

Understood, thanks!

Re: Fwd: Scalebox / Resizebox via GUI?

2018-08-24 Thread Jürgen Spitzmüller
Am Mittwoch, den 22.08.2018, 16:06 -0600 schrieb Joel Kulesza:
> P.S. Is there a reason this is in a module and not in the GUI
> natively?

Because it is so much easier to hack together a module than to add
proper GUI support.

Jürgen


signature.asc
Description: This is a digitally signed message part


Fwd: Scalebox / Resizebox via GUI?

2018-08-22 Thread Joel Kulesza
I also seem to be blind and missed this in the modules (GraphicBoxes).

Sorry,
Joel

P.S. Is there a reason this is in a module and not in the GUI natively?

-- Forwarded message --
From: Joel Kulesza 
Date: Wed, Aug 22, 2018 at 4:03 PM
Subject: Scalebox / Resizebox via GUI?
To: mailing lyx 


Colleagues,

I cannot seem to find a way to insert/manipulate a \scalebox or \resizebox
via the GUI.  Am I overlooking this or are they unavailable?

For example, I produce a .pgf plot via matplotlib that I'd like to include
and then scale.  The plot is such that it displays better this way than
generating it at the correct size in the first place.

Any guidance you can provide is appreciated.

Thank you,
Joel


Scalebox / Resizebox via GUI?

2018-08-22 Thread Joel Kulesza
Colleagues,

I cannot seem to find a way to insert/manipulate a \scalebox or \resizebox
via the GUI.  Am I overlooking this or are they unavailable?

For example, I produce a .pgf plot via matplotlib that I'd like to include
and then scale.  The plot is such that it displays better this way than
generating it at the correct size in the first place.

Any guidance you can provide is appreciated.

Thank you,
Joel