Merge branch 'topic/internal_url' into 'master'

Add an user preference for internal URL handling

Closes #537

See merge request eng/ide/gnatstudio!868

Author: reznikmm

share/support/core/url.py

@@ -7,13 +7,16 @@
 
 
 import GPS
+import re
+
+internal_url_regexp = None
 
 # Callback for {file,http*}:// URLs
 
 
 def view_url(url):
     try:
-        if url.startswith("file"):
+        if re.search(internal_url_regexp.get(), url):
             GPS.MDI.get_by_child(
                 GPS.EditorBuffer.get(GPS.File(url[7:])).current_view()
             ).raise_window()
@@ -27,3 +30,12 @@ def view_url(url):
 GPS.EditorHighlighter(
     r"(file:[\\/][\\/][^\s]*|http(s)?://[^\s:,]*)", view_url, 0, view_url
 )
+
+internal_url_regexp = \
+    GPS.Preference("External Commands:Browser/gs_regexp").create(
+        "Internal browsing URLs",
+        "string",
+        "URL pattern to be opened within GNAT Studio;"
+        + " others will open externally.",
+        "^file:",
+    )