changeset 1913:4f0c14fad13b default tip

print
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 16 Apr 2025 22:16:42 -0600
parents 9fa922236aff
children
files src/luan/modules/editor/menu.luan src/luan/modules/swing/Text_component.luan
diffstat 2 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/editor/menu.luan	Wed Apr 16 21:59:49 2025 -0600
+++ b/src/luan/modules/editor/menu.luan	Wed Apr 16 22:16:42 2025 -0600
@@ -79,6 +79,10 @@
 							end
 						end
 					}
+					new_menu_item{
+						text = "Print"
+						action_listener = action_listener(text_area.print)
+					}
 					revert
 				}
 			}
--- a/src/luan/modules/swing/Text_component.luan	Wed Apr 16 21:59:49 2025 -0600
+++ b/src/luan/modules/swing/Text_component.luan	Wed Apr 16 22:16:42 2025 -0600
@@ -86,6 +86,7 @@
 		end_pos = end_pos or start_pos
 		jcomponent.select(start_pos-1,end_pos-1)
 	end
+	component.print = jcomponent.print
 	return component
 end