On Sat, Oct 03, 2020 at 08:56:48AM +0200, Jürgen Spitzmüller wrote:
> Am Samstag, den 03.10.2020, 08:18 +0200 schrieb Jürgen Spitzmüller:
> > > > We can probably omit the mark if the ref is in the same non-
> > > > outputting
> > > > context (or generally if it is in a non-outputting context
> > it
On Sat, Oct 03, 2020 at 08:18:06AM +0200, Jürgen Spitzmüller wrote:
> Am Freitag, den 02.10.2020, 16:09 -0400 schrieb Scott Kostyshak:
> > On Fri, Oct 02, 2020 at 08:35:16AM +0200, Jürgen Spitzmüller wrote:
> > > Am Donnerstag, den 01.10.2020, 17:21 -0400 schrieb Scott Kostyshak:
> > > > Starting w
Am Samstag, den 03.10.2020, 08:18 +0200 schrieb Jürgen Spitzmüller:
> > > We can probably omit the mark if the ref is in the same non-
> > > outputting
> > > context (or generally if it is in a non-outputting context
> itself).
> >
> > This indeed corresponds to the behavior I was expecting.
>
>
Am Freitag, den 02.10.2020, 16:09 -0400 schrieb Scott Kostyshak:
> On Fri, Oct 02, 2020 at 08:35:16AM +0200, Jürgen Spitzmüller wrote:
> > Am Donnerstag, den 01.10.2020, 17:21 -0400 schrieb Scott Kostyshak:
> > > Starting with this commit, if a deactivated branch has a
> > > reference to
> > > a la
On Fri, Oct 02, 2020 at 08:35:16AM +0200, Jürgen Spitzmüller wrote:
> Am Donnerstag, den 01.10.2020, 17:21 -0400 schrieb Scott Kostyshak:
> > Starting with this commit, if a deactivated branch has a reference to
> > a label that's in the same branch,
> > the reference is marked as "BROKEN". See att
Am Donnerstag, den 01.10.2020, 17:21 -0400 schrieb Scott Kostyshak:
> Starting with this commit, if a deactivated branch has a reference to
> a label that's in the same branch,
> the reference is marked as "BROKEN". See attached.
Actually, the ref _is_ "Broken" as the target label is in a non-
out
On Mon, Dec 31, 2018 at 06:32:10PM +0100, Juergen Spitzmueller wrote:
> commit 1db5abbfbd38c8a709eefe63aea65e1297b7725e
> Author: Juergen Spitzmueller
> Date: Mon Dec 31 18:32:38 2018 +0100
>
> Mark labels in non-outputting insets as inactive.
>
> Fixes: #11437
> ---
Starting with