On 21.11.2016 11:16, racoon wrote:
On 20.10.2016 19:29, Jean-Marc Lasgouttes wrote:
2/ I can provide you with methods MetricsInfo:::textToInsetOffset and
MetricsInfo::textToInsetInnerOffset that returns the pixel values
equivalent to 0.3em and 0.15em (according to your changes).
In the second
On 20.10.2016 19:29, Jean-Marc Lasgouttes wrote:
2/ I can provide you with methods MetricsInfo:::textToInsetOffset and
MetricsInfo::textToInsetInnerOffset that returns the pixel values
equivalent to 0.3em and 0.15em (according to your changes).
In the second case, the spacing will be larger
On 27.10.2016 12:41, racoon wrote:
On 27.10.2016 10:21, racoon wrote:
On 27.10.2016 10:15, racoon wrote:
On 18.10.2016 09:37, Jean-Marc Lasgouttes wrote:
Le 17/10/2016 à 01:28, racoon a écrit :
I just tried to do some fine tuning on the inset offsets (minimalistic
and classic so far).
Hi
+0200
Subject: [PATCH] Some inset offset fine tuning: - Make outer inset offset
independent of inner. - Reduced the outer offset. - Make it scale with the
zoom.
---
src/frontends/qt4/GuiFontMetrics.cpp | 5 +++--
src/frontends/qt4/GuiPainter.cpp | 7 ---
src/insets/Ins
On 27.10.2016 10:15, racoon wrote:
On 18.10.2016 09:37, Jean-Marc Lasgouttes wrote:
Le 17/10/2016 à 01:28, racoon a écrit :
I just tried to do some fine tuning on the inset offsets (minimalistic
and classic so far).
Hi racoon,
I am glad you are looking at this. I agree that small offsets
=82=C2=B6ller?= <d@web.de>
Date: Mon, 17 Oct 2016 01:21:01 +0200
Subject: [PATCH] Some inset offset fine tuning: - Make outer inset offset
independent of inner. - Reduced the outer offset. - Make it scale with the
zoom.
---
src/frontends/qt4/GuiFontMetrics.cpp | 4 ++--
src/fronten
Le 22/10/2016 à 11:33, racoon a écrit :
Does anyone happen to know where the area of insets for clicks and hover
with the mouse is set? I don't mean the paintings but the interaction.
There seem to be several problems with it I could have a look at.
1. The area if off by a couple of pixels,
On 21.10.2016 16:29, Jean-Marc Lasgouttes wrote:
Le 21/10/2016 à 16:18, racoon a écrit :
Just an update of the fix. No work done on the scaling yet or other
insets yet. But I realised that the cursor takes the space of the first
pixels of the character. So the space between insets has at least
On 21.10.2016 16:29, Jean-Marc Lasgouttes wrote:
Le 21/10/2016 à 16:18, racoon a écrit :
Just an update of the fix. No work done on the scaling yet or other
insets yet. But I realised that the cursor takes the space of the first
pixels of the character. So the space between insets has at least
Le 21/10/2016 à 16:18, racoon a écrit :
Just an update of the fix. No work done on the scaling yet or other
insets yet. But I realised that the cursor takes the space of the first
pixels of the character. So the space between insets has at least to be
two rather than one pixel wide. I have also
an measured now without anti-aliasing.
From 06e40ada85c13ea22c4ea484f338fdf7cefef57e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ram=C3=83=3F=C3=82=C2=B6ller?= <d@web.de>
Date: Mon, 17 Oct 2016 01:21:01 +0200
Subject: [PATCH] Some inset offset fine tuning: - Make outer inset
Le 18/10/2016 à 12:11, racoon a écrit :
Thanks JMarc. Do I understand you correctly that you tested high res
displays and they actually create a problem with those tiny 1px spaces?
One other user tested on a HiDPI display and found that the spaces
(which use several pixels on those displays)
On 18.10.2016 09:37, Jean-Marc Lasgouttes wrote:
I had a go earlier to replace TEXT_TO_INSET_OFFSET with a function that
computes the length according to current zoom and screen resolution. I
abandonned the patch (attached) for now because it created problems for
vertical spacing.
Yes, maybe
On 18.10.2016 09:37, Jean-Marc Lasgouttes wrote:
Le 17/10/2016 à 01:28, racoon a écrit :
Though I have a non-high resolution display. Maybe it does not look as
good on a high-res display. If so, maybe there should be an adjustment
for high-res displays?
I had a go earlier to replace
Le 17/10/2016 à 01:28, racoon a écrit :
I just tried to do some fine tuning on the inset offsets (minimalistic
and classic so far).
Hi racoon,
I am glad you are looking at this. I agree that small offsets are better.
Though I have a non-high resolution display. Maybe it does not look as
On 17.10.2016 01:28, racoon wrote:
I just tried to do some fine tuning on the inset offsets (minimalistic
and classic so far).
[...]
Because my message did not go through to the list at first, I posted it
on trac:
http://www.lyx.org/trac/ticket/10441
Daniel
: =?UTF-8?q?Daniel=20Ram=C3=B6ller?= <d@web.de>
Date: Mon, 17 Oct 2016 01:21:01 +0200
Subject: [PATCH] Some inset offset fine tuning: - Make outer inset offset
independent of inner. - Reduced the outer offset.
---
src/frontends/qt4/GuiFontMetrics.cpp | 4 ++--
src/fronten
17 matches
Mail list logo
