diff src/luan_editor/menu.luan @ 48:ca5ae0a36db7 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 20 May 2025 20:16:58 -0600
parents f7e8c1f532c8
children
line wrap: on
line diff
--- a/src/luan_editor/menu.luan	Tue May 20 19:07:30 2025 -0600
+++ b/src/luan_editor/menu.luan	Tue May 20 20:16:58 2025 -0600
@@ -33,6 +33,13 @@
 		enabled = window.has_file
 		action_listener = action_listener(window.revert)
 	}
+	local view_file_path = new_menu_item{
+		text = "File Path"
+		enabled = window.has_file
+		action_listener = function(_)
+			status_bar.text = window.title()
+		end
+	}
 	local undo = new_menu_item{
 		text = "Undo"
 		accelerator = "meta Z"
@@ -81,6 +88,7 @@
 						action_listener = function(_)
 							if window.save() then
 								revert.set_enabled(true)
+								view_file_path.set_enabled(true)
 							end
 						end
 					}
@@ -224,6 +232,7 @@
 							end
 						end
 					}
+					view_file_path
 				}
 			}
 			new_menu{