changed border handling

This commit is contained in:
Florian Scholdei
2019-01-29 16:38:01 +01:00
parent 9959eb375b
commit d70c2bd624
4 changed files with 9 additions and 9 deletions

View File

@@ -93,7 +93,7 @@ class Sources extends React.Component<Props> {
if (currentFileIsDirectory) {
return (
<div className={"has-border-around"}>
<div className="has-border-around is-round">
{this.renderBranchSelector()}
<FileTree
repository={repository}