Main screen tweaks

Convex-Dev · Dec 4, 2024 · 900547c · 900547c
1 parent 3228f0f
commit 900547c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/convex-gui/src/main/java/convex/gui/MainGUI.java b/convex-gui/src/main/java/convex/gui/MainGUI.java
@@ -53,7 +53,7 @@ public MainGUI() {
 		JComponent discord=createLaunchButton("Discord",Toolkit.ECOSYSTEM_ICON,this::launchDiscord,"Go to the Convex community Discord (opens web browser).");
 		actionPanel.add(discord);
 
-		JComponent www=createLaunchButton("convex.world",Toolkit.WWW_ICON,this::launchWebsite,"Go to the Convex main website (opens web browser).");
+		JComponent www=createLaunchButton("Documentation",Toolkit.WWW_ICON,this::launchWebsite,"Go to the Convex docs website (opens web browser).");
 		actionPanel.add(www);
 
 		add(actionPanel);
@@ -93,7 +93,7 @@ public HackerTools launchTools() {
 	}
 
 	public void launchWebsite() {
-		Toolkit.launchBrowser("https://convex.world");
+		Toolkit.launchBrowser("https://docs.convex.world");
 	}
 
 	public JPanel createLaunchButton(String label, ImageIcon icon, Runnable cmd, String tooltip) {
@@ -104,6 +104,7 @@ public JPanel createLaunchButton(String label, ImageIcon icon, Runnable cmd, Str
 		butt.setToolTipText(tooltip);
 
 		JLabel lab = new JLabel(label);
+		lab.setFont(Toolkit.BUTTON_FONT);
 		lab.setHorizontalAlignment(SwingConstants.CENTER);
 
 		JPanel panel=new JPanel();