Fix some UI preference issues
This commit is contained in:
		
							parent
							
								
									d9a86021f3
								
							
						
					
					
						commit
						eeea22087d
					
				| @ -142,6 +142,7 @@ public class AboutDialog extends JDialog { | ||||
| 		 | ||||
| 		 | ||||
| 		DescriptionArea info = new DescriptionArea(5); | ||||
| 		info.setBorder(GUIUtil.getUITheme().getBorder()); | ||||
| 		info.setText(CREDITS); | ||||
| 		info.setTextFont(UIManager.getFont("Label.font")); | ||||
| 		panel.add(info, "newline, width 10px, height 250lp, pushy, grow, spanx, wrap para"); | ||||
|  | ||||
| @ -330,7 +330,7 @@ class SimulationOptionsPanel extends JPanel { | ||||
| 		 | ||||
| 		if (simulation.getSimulationExtensions().isEmpty()) { | ||||
| 			StyledLabel l = new StyledLabel(trans.get("simedtdlg.SimExt.noExtensions"), Style.ITALIC); | ||||
| 			l.setForeground(Color.DARK_GRAY); | ||||
| 			l.setForeground(GUIUtil.getUITheme().getDimTextColor()); | ||||
| 			currentExtensions.add(l, "growx, pad 5 5 5 5, wrap"); | ||||
| 		} else { | ||||
| 			for (SimulationExtension e : simulation.getSimulationExtensions()) { | ||||
|  | ||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user