changing plaintext to individual widgets, and this way we could easily also make it interactive (to change mode, file type, got to line, etc.). But well, somebody has to do it, as you'd say :slightly_smiling_face:
Put it on the "during the GTK4 port" list ;-P