Tweak permissions panel layout a bit

James Moger

2012-10-22 eba89539a29deba954035056437279088c3e047b

 src/com/gitblit/client/SearchDialog.java

@@ -92,8 +92,7 @@
      this.gitblit = gitblit;

      this.isSearch = isSearch;

      setTitle(Translation.get(isSearch ? "gb.search" : "gb.log"));

      setIconImage(new ImageIcon(getClass().getResource(

            isSearch ? "/gitblt-favicon.png" : "/commit_changes_16x16.png")).getImage());

      setIconImage(new ImageIcon(getClass().getResource("/gitblt-favicon.png")).getImage());

      initialize();

      setSize(900, 550);

   }

@@ -284,19 +283,23 @@
      contentPanel.add(controls, BorderLayout.SOUTH);

      setLayout(new BorderLayout());

      add(contentPanel, BorderLayout.CENTER);

      if (isSearch) {

         addWindowListener(new WindowAdapter() {

            @Override

            public void windowOpened(WindowEvent event) {

      addWindowListener(new WindowAdapter() {

         @Override

         public void windowOpened(WindowEvent event) {

            if (isSearch) {

               searchFragment.requestFocus();

            } else {

               search(0);

            }

         }



            @Override

            public void windowActivated(WindowEvent event) {

         @Override

         public void windowActivated(WindowEvent event) {

            if (isSearch) {

               searchFragment.requestFocus();

            }

         });

      }

         }

      });

   }



   public void selectRepository(RepositoryModel repository) {

@@ -363,8 +366,9 @@
      tableModel.entries.clear();

      tableModel.entries.addAll(entries);

      tableModel.fireTableDataChanged();

      setTitle(Translation.get(isSearch ? "gb.search" : "gb.log") + ": " + text + " ("

            + entries.size() + (page > 0 ? (", pg " + (page + 1)) : "") + ")");

      setTitle(Translation.get(isSearch ? "gb.search" : "gb.log")

            + (StringUtils.isEmpty(text) ? "" : (": " + text)) + " (" + entries.size()

            + (page > 0 ? (", pg " + (page + 1)) : "") + ")");

      header.setText(getTitle());

      if (pack) {

         Utils.packColumns(table, Utils.MARGIN);