Browse Source

tools: do not track visited links in labels

Daniele Bartolini 3 years ago
parent
commit
12f662ea50
1 changed files with 4 additions and 0 deletions
  1. 4 0
      tools/level_editor/level_editor.vala

+ 4 - 0
tools/level_editor/level_editor.vala

@@ -532,6 +532,7 @@ public class LevelEditorApplication : Gtk.Application
 		_editor_stack_disconnected_label = new Gtk.Label("Disconnected.");
 		_editor_stack_disconnected_label = new Gtk.Label("Disconnected.");
 		_editor_stack.add(_editor_stack_disconnected_label);
 		_editor_stack.add(_editor_stack_disconnected_label);
 		_editor_stack_oops_label = new Gtk.Label(null);
 		_editor_stack_oops_label = new Gtk.Label(null);
+		_editor_stack_oops_label.track_visited_links = false;
 		_editor_stack_oops_label.set_markup("Something went wrong.\rTry to <a href=\"restart\">restart this view</a>.");
 		_editor_stack_oops_label.set_markup("Something went wrong.\rTry to <a href=\"restart\">restart this view</a>.");
 		_editor_stack_oops_label.activate_link.connect(() => {
 		_editor_stack_oops_label.activate_link.connect(() => {
 				activate_action("restart-editor-view", null);
 				activate_action("restart-editor-view", null);
@@ -546,6 +547,7 @@ public class LevelEditorApplication : Gtk.Application
 		_resource_preview_disconnected_label = new Gtk.Label("Disconnected");
 		_resource_preview_disconnected_label = new Gtk.Label("Disconnected");
 		_resource_preview_stack.add(_resource_preview_disconnected_label);
 		_resource_preview_stack.add(_resource_preview_disconnected_label);
 		_resource_preview_oops_label = new Gtk.Label(null);
 		_resource_preview_oops_label = new Gtk.Label(null);
+		_resource_preview_oops_label.track_visited_links = false;
 		_resource_preview_oops_label.set_markup("Something went wrong.\rTry to <a href=\"restart\">restart this view</a>.");
 		_resource_preview_oops_label.set_markup("Something went wrong.\rTry to <a href=\"restart\">restart this view</a>.");
 		_resource_preview_oops_label.activate_link.connect(() => {
 		_resource_preview_oops_label.activate_link.connect(() => {
 				restart_resource_preview.begin((obj, res) => {
 				restart_resource_preview.begin((obj, res) => {
@@ -1087,6 +1089,7 @@ public class LevelEditorApplication : Gtk.Application
 	Gtk.Label compiler_crashed_label()
 	Gtk.Label compiler_crashed_label()
 	{
 	{
 		Gtk.Label label = new Gtk.Label(null);
 		Gtk.Label label = new Gtk.Label(null);
+		label.track_visited_links = false;
 		label.set_markup("Data Compiler disconnected.\rTry to <a href=\"restart\">restart the compiler</a> to continue.");
 		label.set_markup("Data Compiler disconnected.\rTry to <a href=\"restart\">restart the compiler</a> to continue.");
 		label.activate_link.connect(() => {
 		label.activate_link.connect(() => {
 				restart_backend.begin(_project.source_dir(), _level._name != null ? _level._name : "");
 				restart_backend.begin(_project.source_dir(), _level._name != null ? _level._name : "");
@@ -1099,6 +1102,7 @@ public class LevelEditorApplication : Gtk.Application
 	Gtk.Label compiler_failed_compilation_label()
 	Gtk.Label compiler_failed_compilation_label()
 	{
 	{
 		Gtk.Label label = new Gtk.Label(null);
 		Gtk.Label label = new Gtk.Label(null);
+		label.track_visited_links = false;
 		label.set_markup("Data compilation failed.\rFix errors and <a href=\"restart\">restart the compiler</a> to continue.");
 		label.set_markup("Data compilation failed.\rFix errors and <a href=\"restart\">restart the compiler</a> to continue.");
 		label.activate_link.connect(() => {
 		label.activate_link.connect(() => {
 				restart_backend.begin(_project.source_dir(), _level._name != null ? _level._name : "");
 				restart_backend.begin(_project.source_dir(), _level._name != null ? _level._name : "");