## screenline-to-textpane.pkg
#
# Here we define the port which
#
#
src/lib/x-kit/widget/edit/textpane.pkg#
# exports to
#
#
src/lib/x-kit/widget/edit/screenline.pkg# Compiled by:
#
src/lib/x-kit/widget/xkit-widget.sublibstipulate
include package threadkit; # threadkit is from
src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit.pkg #
# package g2d = geometry2d; # geometry2d is from
src/lib/std/2d/geometry2d.pkg# package nl = red_black_numbered_list; # red_black_numbered_list is from
src/lib/src/red-black-numbered-list.pkg# package wit = widget_imp_types; # widget_imp_types is from
src/lib/x-kit/widget/xkit/theme/widget/default/look/widget-imp-types.pkg package g2d = geometry2d; # geometry2d is from
src/lib/std/2d/geometry2d.pkg package tpt = textpane_types; # textpane_types is from
src/lib/x-kit/widget/edit/textpane-types.pkgherein
# This port is implemented in:
#
#
src/lib/x-kit/widget/edit/textpane.pkg #
package screenline_to_textpane {
#
Screenline_To_Textpane
=
{ textpane_id: Id, # Textpane's id.
#
mouse_click_fn: tpt::Mouse_Click_Fn,
cursor_offscreen: { # This signals textpane to scroll horizontally.
out_by_in_cols: Int, # If 'out_by_in_cols' is 10, cursor is 10 columns beyond right margin. If arg0 is -10, cursor is 10 columns to left of left margin.
panewidth_in_cols: Int, # Width of textpane in screencols.
screencol0: Int
}
-> Void
};
};
end;