fix pasting not calling redraw

Author: not-nef

src/main.py

@@ -22,8 +22,6 @@
 
 root.update()
 
-print(root.winfo_height())
-
 closeimg = tkinter.PhotoImage(file="assets/close_light.png")
 closeimg2 = tkinter.PhotoImage(file="assets/close_dark.png")
 

src/textwidget.py

@@ -20,6 +20,8 @@ def __init__(self, master=None, mode="dark", line_numbers_callbacks=None, **text
         self.text.bind("<Button-1>", self.redraw)
         self.text.bind("<MouseWheel>", self.onPressDelay)
 
+        self.text.bind("<Control-v>", self.onPressDelay, add="+")
+
     def onPressDelay(self, *args):
         self.after(2, self.numberLines.redraw)