git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

  1. 06 May, 2017 1 commit
  2. 17 Dec, 2015 2 commits
  3. 04 Jun, 2015 1 commit
  4. 12 Feb, 2015 1 commit
  5. 13 Jul, 2014 2 commits
  6. 02 Nov, 2013 1 commit
  7. 14 Oct, 2013 1 commit
  8. 06 Oct, 2013 3 commits
    • mmn's avatar
    • mmn's avatar
      listFind throws NoResultException on no results · 2770ef97
      mmn authored
      2770ef97
    • mmn's avatar
      Added Profile_prefs class for profile preferences · c3d46b81
      mmn 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.
      c3d46b81