title: Tkinter: Updating GUI after resizing a window
body: <p>I have a GUI layout that has two dependencies on the screen size: line numbering and tab sizing. When the screen is resized however, I have to manually update <code>winfo_height()</code> and <code>winfo_width()</code> to change the layout by calling it directly. After searching the interwebs I think I should use <code>update_idletasks</code>, but how exactly do you use this method?</p>