Adjust control sizes in appearance prefs pane

rstudio · Mar 25, 2011 · aafd0af · aafd0af
1 parent 20b252b
commit aafd0af
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AppearancePreferencesPane.java b/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/AppearancePreferencesPane.java
@@ -1,5 +1,6 @@
 package org.rstudio.studio.client.workbench.prefs.views;
 
+import com.google.gwt.dom.client.SelectElement;
 import com.google.gwt.dom.client.Style.Unit;
 import com.google.gwt.event.dom.client.ChangeEvent;
 import com.google.gwt.event.dom.client.ChangeHandler;
@@ -52,6 +53,8 @@ public void onChange(ChangeEvent event)
             preview_.setTheme(themes.getThemeUrl(theme_.getValue()));
          }
       });
+      theme_.getListBox().getElement().<SelectElement>cast().setSize(
+            themes.getThemeNames().length);
       theme_.addStyleName(res.styles().themeChooser());
       leftPanel.add(theme_);
       theme_.setValue(themes.getEffectiveThemeName(uiPrefs_.theme().getValue()));
@@ -60,7 +63,7 @@ public void onChange(ChangeEvent event)
       previewPanel.setSize("100%", "100%");
       previewPanel.add(new Label("Preview"));
       preview_ = new AceEditorPreview(CODE_SAMPLE);
-      preview_.setHeight("300px");
+      preview_.setHeight("375px");
       preview_.setWidth("288px");
       preview_.setTheme(themes.getThemeUrl(uiPrefs_.theme().getValue()));
       preview_.setFontSize(Size.valueOf(fontSize_.getValue()));

diff --git a/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/PreferencesDialog.css b/src/gwt/src/org/rstudio/studio/client/workbench/prefs/views/PreferencesDialog.css
@@ -78,5 +78,4 @@
 
 .themeChooser select {
    width: 138px;
-   height: 200px;
 }