We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

  1. 17 Dec, 2015 2 commits
  2. 04 Jun, 2015 1 commit
  3. 12 Feb, 2015 1 commit
  4. 13 Jul, 2014 2 commits
  5. 02 Nov, 2013 1 commit
  6. 14 Oct, 2013 1 commit
  7. 06 Oct, 2013 3 commits
    • mattl's avatar
    • mattl's avatar
      listFind throws NoResultException on no results · 2770ef97
      mattl authored
    • mattl's avatar
      Added Profile_prefs class for profile preferences · c3d46b81
      mattl authored
      Profile_prefs aims to consolidate all the profile preferences into a
      single table. Otherwise we end up with a bajillion *_prefs classes, like
      User_urlshortener_prefs, or new fields in existing User/Profile classes,
      like 'urlshorteningservice', 'homepage', 'phone_number', 'pet_name' etc.
      Eventually we should migrate as many user-settable preferences as we can
      into this system.
      The data in Profile_prefs is organized by:
          * profile_id    Identify the current Profile.
          * namespace     Which plugin/section the preference is for.
          * topic         Preference name (like 'homepage')
          * data          Preference data (like 'https://gnu.org/')
      The names 'topic' and 'data' are because 'key' and 'value' may be rather
      ambigous when dealing with our DB_DataObject classes etc.