Merged in feature/unify_table (pull request #175)

Feature/unify table
This commit is contained in:
Florian Scholdei
2019-02-06 14:11:24 +00:00
10 changed files with 119 additions and 72 deletions

View File

@@ -93,8 +93,10 @@ class Sources extends React.Component<Props> {
if (currentFileIsDirectory) {
return (
<div className={"has-border-around"}>
{this.renderBranchSelector()}
<div className="panel">
<div className="panel-heading">
{this.renderBranchSelector()}
</div>
<FileTree
repository={repository}
revision={revision}