I'm experiencing problems with VLC, where the video image has green/purple boundaries on the bottom/right-hand side of the image (both in full-screen and windowed mode). I noticed that I can crop these edges out by going to Tools -> Effects and Filters -> Video Effects -> Crop, and cropping 3 pixels from the right and bottom. However, these settings aren't preserved, and I don't want to do this every time I watch a movie.
In the Preferences, it's possible to make permanent changes. It has a "Cropadd" entry, in which you can set crop and padding. This however has no effect at all. Neither does changing the ~/.config/vlc/vlcrc file directly, and neither does passing --cropadd-bottom=3 over the command-line, for example.
Does anyone know why these options don't work (version 2.20), or how I can make the cropping permanent?