mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

The shrinking factor is a delicate issue, but we indeed intend to
introduce a not necessarily integer zoom in the future... --Joris

On Wed, Nov 03, 2010 at 01:15:38PM +0100, Alvaro Tejero Cantero wrote:
> Hi everybody,
> 
> I have the following problem: shrinking factor 3 in my 1200px wide
> monitor leaves out a few characters, whereas shrinking factor 4
> creates a 1/5 screen width of unused grey space.
> 
> Do you know any way to use the full width of my monitor? Ideally I
> would set shrinking factor = 3.2 or so...
> 
> By the way, I propose to rename this command to 'zoom' in the upcoming
> reorganization of the menus.
> 
> Best,
> 
> -á.