[gedit-latex] (3 commits) Created branch doc-prefs



The branch 'doc-prefs' was created.

Summary of new commits:

  b5c138f... tidy prefs, remove get_bool, defaults, etc
  7fb57b0... remove propertyfile interface, specialise prefs to document
  cf19097... drop gross xml document properties



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]