On Thu, Dec 27, 2018 at 11:08:11AM +0100, Juergen Spitzmueller wrote:
> commit eb1b88aba7e244b0c500d54ac4ff3cee753d3faf
> Author: Juergen Spitzmueller
> Date: Thu Dec 27 11:09:52 2018 +0100
>
> Use more convenient MenuButtonPopup
> ---
> src/frontends/qt4/GuiToolbar.cpp |4 ++--
> 1 fi
On 2020-07-18 05:01, Daniel wrote:
On 2020-07-16 07:46, Daniel wrote:
On 2020-07-16 06:52, Stephan Witt wrote:
Am 16.07.2020 um 02:00 schrieb Daniel :
On 2020-07-15 22:45, Stephan Witt wrote:
Am 15.07.2020 um 07:53 schrieb Daniel :
On 2020-07-13 04:02, Daniel wrote:
On 2020-07-08 08:28, S
On 2020-07-16 07:46, Daniel wrote:
On 2020-07-16 06:52, Stephan Witt wrote:
Am 16.07.2020 um 02:00 schrieb Daniel :
On 2020-07-15 22:45, Stephan Witt wrote:
Am 15.07.2020 um 07:53 schrieb Daniel :
On 2020-07-13 04:02, Daniel wrote:
On 2020-07-08 08:28, Stephan Witt wrote:
Am 07.07.2020 um
On Sat, Jul 18, 2020 at 12:01:16AM +0200, Jean-Marc Lasgouttes wrote:
> Le 17/07/2020 à 23:40, Enrico Forestieri a écrit :
> > On Fri, Jul 17, 2020 at 10:32:09PM +0200, Jean-Marc Lasgouttes wrote:
> > >
> > > This is something that has been bugging me for some time. Look at the file
> > > in attac
Now that I have a HiDpi screen, I really feel the need to do something.
This trivial patch works pretty well with Linux/X11 :)
Could someone try it it with Windows/Wayland/macOS (with normal dpi or
HiDpi).
I will try a few cases myself, but I could use some help.
JMarc
>From 3f3e9771c1a115a
Le 17/07/2020 à 23:40, Enrico Forestieri a écrit :
On Fri, Jul 17, 2020 at 10:32:09PM +0200, Jean-Marc Lasgouttes wrote:
This is something that has been bugging me for some time. Look at the file
in attachment to see what the effect is.
Yes, it looks better. However, it also makes more eviden
On Fri, Jul 17, 2020 at 11:40:54PM +0200, Enrico Forestieri wrote:
> On Fri, Jul 17, 2020 at 10:32:09PM +0200, Jean-Marc Lasgouttes wrote:
> >
> > This is something that has been bugging me for some time. Look at the file
> > in attachment to see what the effect is.
>
> Yes, it looks better. How
On Fri, Jul 17, 2020 at 10:32:09PM +0200, Jean-Marc Lasgouttes wrote:
>
> This is something that has been bugging me for some time. Look at the file
> in attachment to see what the effect is.
Yes, it looks better. However, it also makes more evident that the
lower limit of an integral is badly pl
Le 17/07/2020 à 22:03, Jean-Marc Lasgouttes a écrit :
commit e8ee0100fcabad72b03cf0a17cccd589bd1cdd46
Author: Jean-Marc Lasgouttes
Date: Fri Jul 17 18:49:08 2020 +0200
Implement variable size bigops
The goal is to reproduce the change of size of operators like \sum wen they
Le 17/07/2020 à 21:55, Jean-Marc Lasgouttes a écrit :
commit 8d54457dbf6ab41083b5c769be22b8333f764037
Author: Jean-Marc Lasgouttes
Date: Fri Jul 17 18:48:39 2020 +0200
Improve metrics for \limits in display mode
This is purely cosmetic and candidate for branch.
Riki?
JMarc
---
sr
10 matches
Mail list logo
