next up previous contents
Next: 9.3.20 Marking Text. Up: 9.3 The Pico Editor Previous: 9.3.18 Cutting Text.   Contents

9.3.19 Uncutting Text.