Changes between Version 5 and Version 6 of WikiStart
- Timestamp:
- 04/18/09 12:54:11 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v5 v6 33 33 Shows a list of patches from the local repositories in a !PatchView. This view is accessible under the command line via 'darcs changes'. 34 34 ===== !PushPull.hs ===== 35 Provides the functions 'darcs push' and 'darcs pull' . The circuit is for both commands the same. Dependent on the mode (push or pull) only the input and output is different. There are two !PatchViews included (local and remote repository). In the push mode the re are the placing patches in 'local repository'-!PatchView and in the pull mode they are in 'remote repository'-!PatchView. Using the arrow buttons („<<<“. „>>>“) the single patches can be selected and deselected. With the command buttons ('Push','Pull') die action can be executed.35 Provides the functions 'darcs push' and 'darcs pull' . The circuit is for both commands the same. Dependent on the mode (push or pull) only the input and output is different. There are two !PatchViews included (local and remote repository). In the push mode the patches are in the 'local repository'-!PatchView and in the pull mode they are in the 'remote repository'-!PatchView. Using the arrow buttons („<<<“. „>>>“) to select and deselect patches. With the command buttons ('Push','Pull') the action can be executed. 36 36 ===== Main.hs ===== 37 37 This module is the main window from which all commands can be reached. This GUI window is called every time if no command parameter was passed.
