So, you did change the border? Well, that's only a problem if you did that independendly from changing the window size. If you changed the size and style of your window in the same video_window command, there is no problem.