|
From: | martin rudalics |
Subject: | Re: Question about display engine |
Date: | Fri, 9 Aug 2019 10:59:47 +0200 |
> I only want a uniform behavior between gui and tui. Because bigger > changes I have understand that are close to impossible. Such uniform behavior should be a major goal. > Reproduce in TUI the gui behavior as is now by default but: > > 1) With a not-extend-by-default policy I'm not sure what you mean here: not-extend-by-default in TUI only or not-extend-by-default everywhere? > 3) Add an extra face to extend (like in my previous code) that needs to > be merged with the last face in the line conditionally and can be used > in case the user wants extend but removing the underline and keeping > the background color (for example). I suppose this extra face would be suppressed for the region or for tooltips. martin
[Prev in Thread] | Current Thread | [Next in Thread] |