Extend extension point for editor plugin

This commit is contained in:
Rene Pfeuffer
2019-09-05 10:19:29 +02:00
parent a90b7f2204
commit 90d1236df2

View File

@@ -69,7 +69,7 @@ class Content extends React.Component<Props, State> {
} }
showHeader() { showHeader() {
const { file, classes } = this.props; const { file, revision, classes } = this.props;
const { showHistory, collapsed } = this.state; const { showHistory, collapsed } = this.state;
const icon = collapsed ? "fa-angle-right" : "fa-angle-down"; const icon = collapsed ? "fa-angle-right" : "fa-angle-down";
@@ -101,7 +101,7 @@ class Content extends React.Component<Props, State> {
<ButtonGroup> <ButtonGroup>
<ExtensionPoint <ExtensionPoint
name="repos.sources.content.actionbar" name="repos.sources.content.actionbar"
props={{ file }} props={{ file, revision }}
renderAll={true} renderAll={true}
/> />
</ButtonGroup> </ButtonGroup>