• Paolo Borelli's avatar
    Change the name of the tabs-mode setting · c84253fc
    Paolo Borelli authored
    This is unfortunate, but since we want a different default and since
    for some reason the old setting ended up being written for all the users
    (maybe due to to setting binding stuff?) we need to change the setting
    name or all user upgrading will not see the new default.
gedit-settings.h 5.13 KB