Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updated Editor height styles. #395 (1) #396

Merged
merged 1 commit into from
Jul 27, 2017

Conversation

wei
Copy link
Member

@wei wei commented Jul 27, 2017

Let me know if this will work. #395 (1)

@wei wei requested a review from lizheming July 27, 2017 12:53
@wei wei self-assigned this Jul 27, 2017
@xThink xThink mentioned this pull request Jul 27, 2017
3 tasks
@@ -626,7 +626,8 @@ div.pipe:after, .pipe>.half:before, .pipe>.half:after {
color: #AAA;
}
.theme-editor .CodeMirror {
height: 600px;
height: calc(100vh - 200px);
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

还有别的方法么...这么一改 IE 全跪了?还是说我们现在已经忽略了 IE 了....

Copy link
Member Author

@wei wei Jul 27, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

IE Fallback min-height 呀。

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

哦,没看到后面的修改,我合一下。

@@ -626,7 +626,8 @@ div.pipe:after, .pipe>.half:before, .pipe>.half:after {
color: #AAA;
}
.theme-editor .CodeMirror {
height: 600px;
height: calc(100vh - 200px);
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

哦,没看到后面的修改,我合一下。

@lizheming lizheming merged commit c0dacc1 into firekylin:master Jul 27, 2017
@wei wei deleted the bugfix/edit-area-height branch July 27, 2017 12:59
wei added a commit to wei/firekylin that referenced this pull request Jul 27, 2017
wei added a commit to wei/firekylin that referenced this pull request Jul 27, 2017
@wei wei mentioned this pull request Jul 27, 2017
lizheming pushed a commit that referenced this pull request Jul 27, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants