From 9fcc89bb4eb74a53f531586b2d0c73f822872c1d Mon Sep 17 00:00:00 2001 From: JkeFos Date: Sat, 3 Oct 2020 14:21:53 +1000 Subject: [PATCH] Rename 'GPS' to 'GNAT Studio' in restart dialog --- kernel/src/gps-kernel-custom-gui.adb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/kernel/src/gps-kernel-custom-gui.adb b/kernel/src/gps-kernel-custom-gui.adb index b5ebc19767..0664f5c784 100644 --- a/kernel/src/gps-kernel-custom-gui.adb +++ b/kernel/src/gps-kernel-custom-gui.adb @@ -707,20 +707,20 @@ package body GPS.Kernel.Custom.GUI is Response : Gtk_Response_Type; begin Gtk_New (Dialog, - Title => -"Restart GPS ?", + Title => -"Restart GNAT Studio ?", Parent => Get_Main_Window (Kernel), Flags => Modal); Gtk_New (Label, -("You have changed the status of some scripts. You will" & ASCII.LF - & "need to restart GPS to take this change into account." + & "need to restart GNAT Studio to take this change into account." & ASCII.LF & ASCII.LF - & "Do you want to exit GPS now ?")); + & "Do you want to exit GNAT Studio now ?")); Pack_Start (Get_Content_Area (Dialog), Label, Expand => True, Fill => True); - Button := Add_Button (Dialog, -"Exit GPS", Gtk_Response_OK); + Button := Add_Button (Dialog, -"Exit GNAT Studio", Gtk_Response_OK); Button := Add_Button (Dialog, -"Will restart later", Gtk_Response_Cancel); Grab_Default (Button);