EditTable plugin 2023-01-14 von Andreas Gohr
Provide a custom editor for tables