r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

alignment fix

Browse source
This commit is contained in:
Meru Patel 2018-09-23 12:26:39 +05:30
parent a9de9690b2
commit 9f6ce5fa8d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
client/modules/IDE/components/Console.jsx
View file

@ -45,11 +45,11 @@ class Console extends React.Component {
LOG_INFO_ICON: `url(${infoDarkUrl})` LOG_INFO_ICON: `url(${infoDarkUrl})`
}; };
const CONSOLE_FEED_SIZES = { const CONSOLE_FEED_SIZES = {
TREENODE_LINE_HEIGHT: 1.25, TREENODE_LINE_HEIGHT: 1.2,
BASE_FONT_SIZE: this.props.fontSize, BASE_FONT_SIZE: this.props.fontSize,
ARROW_FONT_SIZE: this.props.fontSize, ARROW_FONT_SIZE: this.props.fontSize,
LOG_ICON_WIDTH: this.props.fontSize, LOG_ICON_WIDTH: this.props.fontSize,
LOG_ICON_HEIGHT: 1.4 * this.props.fontSize, LOG_ICON_HEIGHT: 1.45 * this.props.fontSize,
}; };
if (times > 1) { if (times > 1) {