Mit der Technik muss man irgendwie fertigwerden, aber eigentlich ist sie nicht so wichtig. ###>#5268 : Introducing the "tableresize" plugin, which makes it possible to resize tables columns by mouse drag. It's not enabled by default, so it must be enabled in the configurations file.