diff options
author | Dmitry Kurochkin <dmitry.kurochkin@gmail.com> | 2011-05-26 02:10:15 +0400 |
---|---|---|
committer | Carl Worth <cworth@cworth.org> | 2011-06-15 07:07:32 -0700 |
commit | 4a9d0ac1472f7bd8b785256366720e3e6aa2855f (patch) | |
tree | 1dcb7cae6688c323065f0551cec4da32160d27ff /INSTALL | |
parent | 95ef8da29439f2e79115c36ab4d2a80aef1a1462 (diff) |
Set higher priority for headers and hidden citation overlays.
Before the patch, message, headers and hidden citation overlays
had zero priority. All these overlay have `invisible' property.
Emacs documentation says that we should not make assumptions
about which overlay will prevail when they have the same priority
[1]. It happens to work as we need, but we should not rely on
undocumented behavior.
[1] http://www.gnu.org/s/emacs/manual/html_node/elisp/Overlay-Properties.html
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions