web: Rename RufflePlayer.play_button_clicked to

RufflePlayer.playButtonClicked
This commit is contained in:
Nathan Adams 2020-11-16 22:43:28 +01:00 committed by Mike Welsh
parent 4f297948d0
commit 37ef9c15b4
2 changed files with 4 additions and 4 deletions

View File

@ -112,7 +112,7 @@ export class RufflePlayer extends HTMLElement {
if (this.play_button) {
this.play_button.addEventListener(
"click",
this.play_button_clicked.bind(this)
this.playButtonClicked.bind(this)
);
}
this.right_click_menu = this.shadow.getElementById("right_click_menu")!;
@ -340,7 +340,7 @@ export class RufflePlayer extends HTMLElement {
}
}
private play_button_clicked(): void {
private playButtonClicked(): void {
if (this.instance) {
this.instance.play();
if (this.play_button) {

View File

@ -60,7 +60,7 @@ function play_and_monitor(browser, player, expected_output) {
has_error(browser) ||
browser.execute((player) => {
return (
player.play_button_clicked !== undefined &&
player.playButtonClicked !== undefined &&
player.instance
);
}, player)
@ -78,7 +78,7 @@ function play_and_monitor(browser, player, expected_output) {
};
// TODO: make this an actual intended api...
player.play_button_clicked();
player.playButtonClicked();
}, player);
if (expected_output === undefined) {