¿Cómo detener el cambio de tamaño del widget Tkinter Text en el cambio de fuente?

Question

Estoy tratando de crear un procesador de texto simple para que los principiantes aprendan Python un poco mejor.

estoy usando el widget Tkinter Text para el programa de edición principal, el único problema es la altura y anchura están definidas por caracteres.

Esto crea un problema cuando cambio las fuentes, ya que no todas las fuentes tienen el mismo ancho.

Cada vez que se cambia la fuente, el widget de texto cambia de tamaño, aunque técnicamente tiene el mismo ancho y alto. Esto parece ridículo cuando intento escribir algo, estoy tratando de hacer que el procesador de textos sea tan bueno como como sea posible.

¿Hay alguna forma de definir el ancho y el alto en píxeles?

.grid_propagate(False) no es útil porque el tamaño técnicamente no cambia, solo el ancho del carácter.

Estoy tratando de mantenerme alejado de wxPython por ahora, ya que todo lo que he hecho hasta este momento ha sido en Tkinter.

He hecho interminables horas de búsqueda exhaustiva en Google pero no he encontrado soluciones.

Answer 1

Se equivoca cuando dice que no puede usar grid_propagate(False), porque puede hacerlo. grid_propagate se relaciona con el tamaño real, no el tamaño atributo. Además, si simplemente le da a su aplicación un tamaño fijo usando wm_geometry, los cambios de fuente no afectarán el tamaño de la ventana.

Aquí hay un ejemplo usando grid_propagate, que establece el recipiente a un tamaño fijo en píxeles:

import Tkinter as tk 
import tkFont 

class SampleApp(tk.Tk): 
    def __init__(self, *args, **kwargs): 
     tk.Tk.__init__(self, *args, **kwargs) 
     self._textFont = tkFont.Font(name="TextFont") 
     self._textFont.configure(**tkFont.nametofont("TkDefaultFont").configure()) 

     toolbar = tk.Frame(self, borderwidth=0) 
     container = tk.Frame(self, borderwidth=1, relief="sunken", 
          width=600, height=600) 
     container.grid_propagate(False) 
     toolbar.pack(side="top", fill="x") 
     container.pack(side="bottom", fill="both", expand=True) 

     container.grid_rowconfigure(0, weight=1) 
     container.grid_columnconfigure(0, weight=1) 
     text = tk.Text(container, font="TextFont") 
     text.grid(row=0, column=0, sticky="nsew") 

     zoomin = tk.Button(toolbar, text="+", command=self.zoom_in) 
     zoomout = tk.Button(toolbar, text="-", command=self.zoom_out) 
     zoomin.pack(side="left") 
     zoomout.pack(side="left") 

     text.insert("end", '''Press te + and - buttons to increase or decrease the font size''') 

    def zoom_in(self): 
     font = tkFont.nametofont("TextFont") 
     size = font.actual()["size"]+2 
     font.configure(size=size) 

    def zoom_out(self): 
     font = tkFont.nametofont("TextFont") 
     size = font.actual()["size"]-2 
     font.configure(size=max(size, 8)) 

if __name__ == "__main__": 
    app = SampleApp() 
    app.mainloop()