About
Projects
Blog
Snippets
Blog
Notes on web development
Control JSX autocompletion of HTML attributes in Jetbrains IDEs
July 2022
Dead code elimination for PHP using the Tombs extension
October 2021
Linux – Fix broken DNS when using WI-FI in German ICE trains
January 2020
How to reduce space after headings in KOMA-Script (LaTeX)
August 2019
TypeScript – When a data type is not assignable to itself (TS2345)
July 2019
Changing Dolphin’s directory icons in KDE on the command line
December 2018
How to speed up the animations of a hidden macOS Dock
November 2017
Back to top