eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-06-16 04:26:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

a few size/proportion tweaks from Paul

Browse Source
This commit is contained in:
Ben Fry
2022-07-12 12:39:03 -04:00
parent b510198a4d
commit b255eb9ea9
4 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
app/src/processing/app/ui/EditorButton.java
+1 -1
View File
@@ -32,7 +32,7 @@ import processing.data.StringDict;
abstract public class EditorButton extends JComponent
implements MouseListener, MouseMotionListener, ActionListener {
static public final int DIM = Toolkit.zoom(30);
static public final int DIM = Toolkit.zoom(36);
/** The lowercase short name used to load its SVG/PNG image data. */
protected String name;
app/src/processing/app/ui/EditorFooter.java
+4 -4
View File
@@ -56,14 +56,14 @@ public class EditorFooter extends Box {
static final int CURVE_RADIUS = Toolkit.zoom(6);
static final int TAB_TOP = Toolkit.zoom(0);
static final int TAB_BOTTOM = Toolkit.zoom(27);
static final int TAB_BOTTOM = Toolkit.zoom(26);
// amount of extra space between individual tabs
static final int TAB_BETWEEN = Toolkit.zoom(2);
// amount of margin on the left/right for the text on the tab
static final int MARGIN = Toolkit.zoom(14);
static final int MARGIN = Toolkit.zoom(8);
static final int ICON_WIDTH = Toolkit.zoom(16);
static final int ICON_HEIGHT = Toolkit.zoom(16);
static final int ICON_WIDTH = Toolkit.zoom(14);
static final int ICON_HEIGHT = Toolkit.zoom(14);
static final int ICON_TOP = Toolkit.zoom(5);
static final int ICON_SIDE = Toolkit.zoom(7);
app/src/processing/app/ui/EditorHeader.java
+3 -3
View File
@@ -43,11 +43,11 @@ import processing.app.SketchCode;
*/
public class EditorHeader extends JComponent {
// height of this tab bar
static final int HIGH = Toolkit.zoom(29);
static final int HIGH = Toolkit.zoom(32);
static final int ARROW_TAB_WIDTH = Toolkit.zoom(18);
static final int ARROW_TOP = Toolkit.zoom(11);
static final int ARROW_BOTTOM = Toolkit.zoom(18);
static final int ARROW_TOP = Toolkit.zoom(13);
static final int ARROW_BOTTOM = Toolkit.zoom(19);
static final int ARROW_WIDTH = Toolkit.zoom(6);
static final int CURVE_RADIUS = Toolkit.zoom(6);
todo.txt
+1
View File
@@ -59,6 +59,7 @@ o Space Grotesk and Mono?
o https://fonts.google.com/specimen/Space+Mono
o https://fonts.google.com/specimen/Space+Grotesk
X replace foundation icon png that had a random black shape
X a few size/proportion tweaks from Paul
design/selector
X updated 4x4 for themes, foundation svg icon tweaks