• Kai Willadsen's avatar
    filediff: Use GtkSourceView's file loader · 2c33048c
    Kai Willadsen authored
    This mostly reproduces our existing behaviour, just better and faster.
    There is some behaviour changes around encodings (e.g., we no longer
    support the gsetting key, but we have a better default set that we try)
    and newlines (we have no support for mixed-newline files).
    2c33048c
const.py 376 Bytes