On Tue, 11 Oct 2016 16:58:08 +0100 Brian Barker <[email protected]> wrote:
> At 20:34 10/10/2016 +0200, Regina Henschel wrote: > >Brian Barker schrieb: > >>You might want to make use of the Unicode character U+0338 > >>"Combining long solidus overlay" (or the similar U+0337 "Combining > >>short solidus overlay"). I don't see any way to insert special > >>characters directly into the Formula window, but you can copy and > >>paste them from the Writer window. > > > >That was my first thought too, but the character do not combine for me. > > How interesting! But I'm well out of my level of competence here. > > I can certainly see some strange behaviour, including if I use a > different font for the combining character from that of the base > character. But once the combining character is inserted, it seems I > can change the font only for both characters together, so they will > then always be the same font anyway. > > I also see strange behaviour if I stimulate OpenOffice to refresh its > display, e.g. by scrolling away from the characters and back again or > by minimising and restoring the window. > > I also notice that it is possible to change the font - surprisingly > successfully - to one in which the combining character did not appear > in the Special Characters dialogue. I'm guessing that this means that > some sort of internal font substitution may be happening - in which > case I'd expect the behaviour to depend on available fonts and font > substitution rules and thus not be predictable between systems. > > All this is why I suggested that perhaps hard copy or PDF would be > more reliable formats for document transfer than word processor. > > But I don't really understand this. Did I say that? > > Brian Barker > For what it's worth, using OO 4.1.2/3 on Xubuntu 16.04 if I type Shift+Alt-Gr, release, then two characters, these will be combined if they are combinable. For example Shift+Alt-Gr > > gives ยป -- Rory O'Farrell <[email protected]> --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
