Florian Fischer (4):

      jump to document position in the original window
      fix log file creation for paths including spaces
      fix the license headers to reflect the used GPL license
      fix format of license file headers

Michiel van den Heuvel (6):
      Avoid screen flicker when navigating within file
      Add textDocument/formatting implementation
      Make formatting options sort of configurable
      Offer to save current file before opening new one
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEH4n5VeMPJZZLY6xN14xEkKvolhQFAmS72KAACgkQ14xEkKvo
lhRqFg/9EBYL8OUNl6oucgqHdlAL3F0NMjN78VmBVQIWM/k1Ut4HIRrBkm0G20TB
hWIcos+L1XMhVexH1rYamXE/QKHS7mE1DWD5SOpoBxfRhNZq9MXCkJFm9FiaMykX
kB0YWNQfRXVg4m1GmGa4B+hl1XWU81yVYn97hG4U3S+7F09PqmnyOQkvI0FnPPJb
/0/nNbW5jUQgPxrveBLwapsJu+oXs+6QK84IXC2AUJ1ZwtIEZ9KQB9EYyZmQ8L4g
fk9HyYlEfzX50WC7YSL1goW1lOHztdv0FJqiLYT/Vp6m8/WWCSH1hMUOKzZV41Mk
E/tTpVgGeyHKBT0wSfUYBkudi9JcUntwGE4n3AmVPW+F37t9vO7OLuB/j0ZvfHGr
h97EgfHWbcUWqvCU0ZcGn8maN2msOrdpYmC90ab+jZ/gZN1xBQOtzUC60vGlFw2B
x/oPRw2StubXVLGl0vyAMhWIQ+N4qu094RmiYRquaN2s9iurLDH0bZwKsF3Wlydc
jvRlE40sngOoIHnC+koVZ33HWxEKNmD7K1knS6qRYkd4LaISKth5SshqFHqCsBQc
Ipfnbjz2mA15GeMa17Zr1AKdYT09IwVd6R8DqWxIVl4lzk4j/a/thtOaZxGYPci0
WrKl4T9NRGYt/kXxlzp43wLw87C6WaoDLR2S1QO489CjOQT1PgY=
=iJo6
-----END PGP SIGNATURE-----