diff COPYING @ 28:8279a650da6b

Preserve active and highlighted properties of moved tabs This is consistent with the equivalent built-in drag-and-drop operations.
author Guido Berhoerster <guido+tab-mover@berhoerster.name>
date Sat, 27 Feb 2021 09:14:34 +0100
parents 480f8e4f4500
children
line wrap: on
line diff