[gnome-games/wip/exalm/retro-runner: 5/7] retro-runner: Remove unused constructors
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-games/wip/exalm/retro-runner: 5/7] retro-runner: Remove unused constructors
- Date: Fri, 4 Jan 2019 07:57:35 +0000 (UTC)
commit 88747ff8471f04bde5a033404ede8a5b2d64de80
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date: Fri Jan 4 03:03:43 2019 +0500
retro-runner: Remove unused constructors
Now that everything has been migrated to RetroRunnerBuilder, we can remove
the old constructors.
src/retro/retro-runner.vala | 48 ---------------------------------------------
1 file changed, 48 deletions(-)
---
diff --git a/src/retro/retro-runner.vala b/src/retro/retro-runner.vala
index bc482551..e6dc17f6 100644
--- a/src/retro/retro-runner.vala
+++ b/src/retro/retro-runner.vala
@@ -94,54 +94,6 @@ public class Games.RetroRunner : Object, Runner {
_media_set.notify["selected-media-number"].connect (on_media_number_changed);
}
- public RetroRunner (RetroCoreSource core_source, Uri uri, Uid uid, Title game_title,
InputCapabilities? input_capabilities = null) {
- is_initialized = false;
- is_ready = false;
- should_save = false;
-
- this.core_descriptor = null;
- var game_media = new Media ();
- game_media.add_uri (uri);
- _media_set = new MediaSet ();
- _media_set.add_media (game_media);
-
- this.uid = uid;
- this.core_source = core_source;
- this.platform = core_source.get_platform ();
- this.input_capabilities = input_capabilities;
- this.game_title = game_title;
- }
-
- public RetroRunner.for_media_set (RetroCoreSource core_source, MediaSet media_set, Uid uid, Title
game_title, InputCapabilities? input_capabilities = null) {
- is_initialized = false;
- is_ready = false;
- should_save = false;
-
- this.core_descriptor = null;
- this.core_source = core_source;
- this.platform = core_source.get_platform ();
- this._media_set = media_set;
- this.uid = uid;
- this.input_capabilities = input_capabilities;
- this.game_title = game_title;
-
- _media_set.notify["selected-media-number"].connect (on_media_number_changed);
- }
-
- public RetroRunner.for_core_descriptor_and_platform (Retro.CoreDescriptor core_descriptor, Platform
platform, Uid uid, Title game_title, InputCapabilities? input_capabilities = null) {
- is_initialized = false;
- is_ready = false;
- should_save = false;
-
- this.core_descriptor = core_descriptor;
- this.core_source = null;
- this.platform = platform;
- this._media_set = new MediaSet ();
- this.uid = uid;
- this.input_capabilities = input_capabilities;
- this.game_title = game_title;
- }
-
construct {
settings = new Settings ("org.gnome.Games");
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]