Sheet windows


This page describes how to interact with sheets in Group Explorer. If you are unsure what sheets are, read the description here. A blank sheet window looks something like the following picture.

Let us consider all the things one can do with a sheet, grouping them categorically.

The sheet itself

A blank sheet is shown as a faintly peach/pink region, the rectangle in the center of the window pictured above. In this region you can add various kinds of "sheet items." Here is an image of a window containing a sheet with four items: a multiplication table, some text, a gray background rectangle, and a connecting line.

If you wish to experiment with a sheet without creating one, there are links in each group's Group Info window that will create sheets for you (e.g. "Show me all the views connected together in a sheet" link in the Views section).

Navigating the sheet

Note that resizing the window containing the sheet does not resize the sheet. In order to resize the sheet itself (the pinkish region on which you can place items), you will need to use the Resize item on the Sheet menu (refer to the Toolbars and menus section, below). If the sheet is too large to be seen in the window (unlike those pictured above), scrollbars will appear on the right and bottom of the window to help you navigate it. Furthermore, you can choose at what magnification level you view the sheet by clicking the zoom in or out buttons on the toolbar, or using the corresponding menu items.

Selecting items

When your mouse passes over an item on the sheet, four green corners will appear around it to indicate the item has noticed that it is under your mouse. This is most useful if you have several items near one another, or even one on top of the other. To select the item that is advertising itself as being under your mouse cursor, simply click. A pink border will appear around the item.

Note that for nonrectangular items (lines and homomorphisms) the area of their sensitivity to the mouse (and thus the area enclosed by the green corners or the pink outline) may be fairly large, to give you ample opportunity to click them without having to click exactly on a line.

To select more than one item on a sheet, hold down the shift button while you click items after the first. You can then move, delete, cut, or copy all of these items at once.

Moving and resizing items

To move an item from one place to another on the sheet, simply drag it. To move an item forward or backwards on the sheet (i.e. farther into the background, or closer to the foreground), right-click on the item and choose Push backward or Bring forward from the menu that shows up.

You can resize an item by first selecting it, and then hovering your mouse over any part of its boundary. Your mouse cursor will shape itself like a pair of arrows to indicate that resizing is possible. Click and drag to resize the item.

Toolbar and menus

The following commands appear in the menubar for the sheet window, and are organized here by the menus in which they appear. Many of these items also appear on the toolbar for the window, and you will recognize them by the icons below. Furthermore, right-clicking on the sheet (or an item therein) will bring up the set of these actions which are relevant to the item on which you clicked (if any).

The File menu

Save

If you have not saved the sheet before, this will bring up a standard save dialog box for you to choose the filename under which you will save the sheet. If you have saved the sheet before, this will save it under the same name without asking.

Sheet files are XML documents. If you do not add the extension .sheet to your filename, it will be added for you.

Save as...

Same as Save, above, but it always asks you for the filename, even if you have saved the sheet before.

Print...

Brings up a printing dialog that allows you to preview how the sheet will look on the printed page.

Group Explorer has a tutorial on saving and printing images.

To choose a different page layout or orientation, click the "Page setup" button. To cancel printing, click the "Cancel" button. To resize the sheet on the page, use the boxes for choosing size, either in pixels or inches. Margins can also be edited directly (in inches only). When the settings are as you would like them, click the "OK" button, and the usual print dialog box for your platform will appear, so that you can select a printer, print quality, etc.

Save as image...

A sheet can be saved as a single Portable Network Graphics (PNG) file. When you use this menu item (or toolbar button), a dialog much like the Print dialog (shown above) appears. It allows you to choose the size the image will be on disk (using absolute pixels or relative percentages) and the lossiness/compression used.

Group Explorer has a tutorial on saving and printing images.

Canceling will return you to Group Explorer without taking any action. Clicking OK will bring up a save dialog so that you can choose a filename to save under. If you do not add the extension .png yourself, it will be added for you.

The Edit menu

Delete

This removes from the sheet all selected items. The only way to get them back is to use Undo.

Note that if you delete an item that is connected to another item via a connecting line or morphism, the connection(s) will also be deleted.

Cut

This removes from the sheet all selected items, but adds them to the clipboard so that they can be pasted elsewhere, in the same sheet or a different one.

Note that if you cut an item that is connected to another item via a connecting line or morphism, the connection(s) will also be deleted. Such connections will only be added to the clipboard if both of their endpoints were in the selection that was cut. This is because it does not make sense to paste a connector with only one of its endpoints.

Copy

Works just like Cut, except does not remove the items from the sheet.

Paste

If the contents of the clipboard are sheet items that have been cut or copied from this sheet or another one inside Group Explorer, it pastes those sheet items into this sheet at the same position they were when they were cut or copied.

Warnings: If you execute copy and then paste in immediate succession, you will stack two items one on top of the other, and must move the foremost one in order to be able to see both. If you cut items from a large sheet and paste them into a small sheet, they may end up off the edge of the sheet, and therefore not visible to you. Take care.

Zoom in

Increases the magnification with which you are viewing the sheet.

Zoom out

Decreases the magnification with which you are viewing the sheet.

Undo

Undoes the last action taken on the sheet. Note that hovering your mouse over this button will insert into the status bar (at the bottom of the sheet window) a description of what you would undo if you clicked the button.

One important anomaly regarding Undo/Redo functionality in sheets is that it does not apply to changes made in a large visualizer window. That is, if you have a visualizer in a sheet, you double-click it to open its large version, and make changes, and close the sheet, then you cannot undo those changes by using the Undo button on the sheet window. Instead, you need to open the large visualizer window again and use its Undo functionality.

Redo

Redoes the last action undone on the sheet. Note that hovering your mouse over this button will insert into the status bar (at the bottom of the sheet window) a description of what you would redo if you clicked the button.

Note also the important anomaly regarding Undo and Redo and visualizers embedded in sheets. See the note under Undo, immediately above.

The Sheet menu

Resize sheet

Brings up a dialog box into which you can enter a width and a height for the sheet. Note that this refers to the pinkish region inside the sheet window, not the window itself. You can easily resize the window without resizing the sheet just by dragging the edges of the window like any other window on your system.

Insert text box

Creates a new text box with dummy text, located near the top left of your view of the sheet. To edit the text, see below.

Increase font size

This action is only available if a text box is selected. It increases the font size of the text in the box.

Decrease font size

This action is only available if a text box is selected. It decreases the font size of the text in the box.

Insert rectangle

This action inserts a gray rectangle near the top left of your view of the sheet. The rectangle will be slightly more into the background than items in the sheet tend to be by default, which is convenient for placing it behind items as a cue for visual grouping of related sheet items.

Insert connecting line

Initiating this action causes the cursor of the sheet to change to a plus (+) and enters a mode where the next two sheet items you select will be connected by a connecting line. Note the status bar of the window at this time. One of the following three phrases will be present in the status bar, letting you know what you are doing:

You can press Escape at any time during this process to cancel the connecting line.

Insert visualizer

This brings up a dialog from which you must choose first a group (from a list of all groups loaded) and then a visualizer (from a list of all visualizers available for that group). When you have done each of these things and clicked OK, the visualizer you have chosen will be inserted near the top left of your view of the sheet. To edit the properties of the visualizer, see below.

Insert homomorphism

Upon executing this command, you will be prompted for the name of the morphism. A sensible default (like f or g) will be suggested, keeping in mind that you cannot use a name that is already in use by a morphism in the current sheet. Once you have chosen this, you must connect two visualizers just as if you were introducing a connecting line (see above). An important difference between morphisms and connecting lines is that morphisms must connect visualizers, not just any two sheet items.

The zero morphism is always created (i.e. the morphism mapping every element to the identity). To change the map, see below.

Bring forward

Sheet items can be on top of one another, and to determine which one appears in the foreground, you are able to move items forward (closer to the viewer, as with this command) or backward (deeper into the screen, as with the following command).

Push backward

Sheet items can be on top of one another, and to determine which one appears in the foreground, you are able to move items forward (closer to the viewer, as with the previous command) or backward (deeper into the screen, as with this command).

The Help menu

User Manual

Opens help at the table of contents for the User Manual.

Tutorials

Opens help at the table of contents for the Tutorials.

Help on sheets

Opens help to this page.

The "What's this?" button

The "What's this?" button appears on the toolbar of the main window, and has its own separate help page here.

Editing sheet items

To edit any sheet item, simply double click it.

For text items, this brings up a dialog in which you can edit the current text. The dialog is very straightforward, with a box in which to type, and OK and Cancel buttons. Note that only plain text is allowed.

For visualizers, this brings up a large view of the visualizer which you can customize to a great level of detail, and the changes will be reflected in the image shown in the sheet. To read more on this topic, refer to the documentation for large visualizers.

For morphisms, this brings up a dialog allowing you to change the map, and change how the morphism is viewed. To read more on this topic, refer to the documentation for the morphism editing dialog box.


Quick help links:
Contents | Getting Started | Tutorials | User Manual | Miscellaneous Reference
GE terminology | Help on help