[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34022: 26.1; Region highlight has lower priority than flymake overla
bug#34022: 26.1; Region highlight has lower priority than flymake overlays
Thu, 10 Jan 2019 22:03:44 +0000
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
Johann Klähn <address@hidden> writes:
> thanks for your quick response! I did not see
> `flymake-overlay-control' because I was still using the version of
> flymake shipped with Emacs 26.1. (I really like the options introduced
> with the new version allows, so I will probably switch to using it.)
Flymake is now also distributed through ELPA, so you can use the most
recent version even on Emacs 26.1
> ‖ ‘priority’
> ‖ This property’s value determines the priority of the overlay. If
> ‖ you want to specify a priority value, use either ‘nil’ (or zero),
> ‖ or a positive integer. Any other value has undefined behavior.
> ‖ [...]
> ‖ Note that Emacs sometimes uses non-numeric priority values for some
> ‖ of its internal overlays, so do not try to do arithmetic on the
> ‖ priority of an overlay (unless it is one that you created). In
> ‖ particular, the overlay used for showing the region uses a priority
> ‖ value of the form ‘(PRIMARY . SECONDARY)’, where the PRIMARY value
> ‖ is used as described above, and SECONDARY is the fallback value
> ‖ used when PRIMARY and the nesting considerations fail to resolve
> ‖ the precedence between overlays. However, you are advised not to
> ‖ design Lisp programs based on this implementation detail; if you
> ‖ need to put overlays in priority order, use the SORTED argument of
> ‖ ‘overlays-at’. *Note Finding Overlays::.
> Even though it's shipped with Emacs, flymake is probably not
> "internal" enough to use those?
Good point. Don't know how to fix it then.
> ...looking around further I just found Bug#16192, where a similar
> problem was fixed for hl-line-mode by using a negative priority. And
> then there is also Bug#15899, which discusses the use of overlays to
> highlight region in the first place.
I remember reading somewhere negative priorites were a nono, maybe that