Preserve filter selection when switching between root pages

James Moger

2011-12-28 e9e175f25e2f66961cd0885cdbfd0f4bad4c1ab2

 src/com/gitblit/client/GitblitClient.java

@@ -183,6 +183,13 @@
      }

   }



   public List<String> getAvailableScripts() {

      if (settings.pushScripts == null) {

         return new ArrayList<String>();

      }

      return settings.pushScripts;

   }



   public ServerSettings getSettings() {

      return settings;

   }