Tilman Vatteroth
e12dc523f8
Adjust editor config ( #976 )
...
* Adjust editor config
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Co-authored-by: Erik Michelson <github@erik.michelson.eu>
2021-02-03 22:13:04 +01:00
Tilman Vatteroth
1b7abf9f27
Reorganize redux and hooks (1/4) ( #985 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-02-01 22:55:49 +01:00
Tilman Vatteroth
1777ba848f
Collected minor changes from #837 ( #962 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-23 21:01:53 +00:00
Tilman Vatteroth
28600d6508
Change copyright year from 2020 to 2021 ( #917 )
...
* Change copyright year from 2020 to 2021
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Change copyright year in jetbrains copyright template
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-06 21:37:59 +01:00
Tilman Vatteroth
bf42b9c460
Minor fixes ( #911 )
...
* Replace full links
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Use dark mode hook
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Add overflow for graphviz and abc
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Cap max height of toc overlay
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Remove extension from css import
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Fix hook
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-03 00:19:10 +01:00
Erik Michelson
c5ad0e6eca
Fix bug that pathname is always empty ( #859 )
2020-12-17 23:30:18 +01:00
Tilman Vatteroth
bc7ff07256
Extract windows location code into hook ( #808 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2020-11-30 10:09:04 +01:00
Philip Molares
f3bf7cd105
Added reuse information ( #782 )
...
Signed-off-by: Philip Molares <philip.molares@udo.edu>
2020-11-22 21:50:07 +01:00
mrdrogdrog
0d2c2fe0ee
Replace empty components with hooks ( #666 )
2020-10-12 22:33:23 +02:00
