I've considered how to support this in the UI, and I think I
have a reasonable idea. In my vision, the current Print...
menu option would be renamed to Print Definitions..., and a
new submenu would be added nearby called Print Other. This
submenu would contain menu items for all other things we
support printing. Our ToDo list might include:
Interactions
Console
Compiler Output (reformatted?)
Javadoc Output (reformatted?)
Test Output
Interactions History (without results)
Help
Javadoc (from the JavadocFrame)
It might be argued that Definitions should be put into the
submenu also, in which case it could be called simply Print.
However, I think Definitions is the most common thing that will
be printed, by a large enough margin that it is worthy of
special status. I won't fight if someone else has a strong
opinion on the matter, though.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
A quick follow-up: I also believe that the "P" shortcut should
stay on the Print Definitions..., where ever it ends up. The
other menu items should default to null keystrokes.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This has already been done. Printing of the interactions
pane and the console are implemented in the right-click
pop-up menus in each pane, and in the tools drop-down menu.
Also implemented are print previews for each.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=431096
I've considered how to support this in the UI, and I think I
have a reasonable idea. In my vision, the current Print...
menu option would be renamed to Print Definitions..., and a
new submenu would be added nearby called Print Other. This
submenu would contain menu items for all other things we
support printing. Our ToDo list might include:
Interactions
Console
Compiler Output (reformatted?)
Javadoc Output (reformatted?)
Test Output
Interactions History (without results)
Help
Javadoc (from the JavadocFrame)
It might be argued that Definitions should be put into the
submenu also, in which case it could be called simply Print.
However, I think Definitions is the most common thing that will
be printed, by a large enough margin that it is worthy of
special status. I won't fight if someone else has a strong
opinion on the matter, though.
Logged In: YES
user_id=431096
A quick follow-up: I also believe that the "P" shortcut should
stay on the Print Definitions..., where ever it ends up. The
other menu items should default to null keystrokes.
Logged In: YES
user_id=1279812
This has already been done. Printing of the interactions
pane and the console are implemented in the right-click
pop-up menus in each pane, and in the tools drop-down menu.
Also implemented are print previews for each.