[chore] Make changing the name of a REPL obvious (#6808)

pull/6982/head
Yuichiro Yamashita 3 years ago committed by GitHub
parent c2149e8529
commit f647adfa0c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -265,9 +265,17 @@ export default app;` });
opacity: 0.7; opacity: 0.7;
outline: none; outline: none;
flex: 1; flex: 1;
margin: 0 0.2em 0 .4rem;
padding-top: 0.2em;
border-bottom: 1px solid transparent;
} }
input:hover {
border-bottom: 1px solid currentColor;
opacity: 1;
}
input:focus { input:focus {
border-bottom: 1px solid currentColor;
opacity: 1; opacity: 1;
} }

Loading…
Cancel
Save