Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
linux:terminal [27-05-2014 11:35] edmc73 créée |
linux:terminal [27-05-2014 11:38] edmc73 |
||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
**Terminator** est mon terminal préféré, il permet de splitter l' | **Terminator** est mon terminal préféré, il permet de splitter l' | ||
- | Malheureusement un petit bug le fait crasher lorsqu' | + | Malheureusement un petit bug le fait crasher lorsqu' |
- | Voici une solution : | + | Voici une solution |
sudo vi / | sudo vi / | ||
Ligne 17: | Ligne 17: | ||
| | ||
# copy text from another widget | # copy text from another widget | ||
- | return</ | + | return |
+ | </ | ||
- | def on_drag_motion(self, | + | |
+ | et remplacez par | ||
+ | <code python>def on_drag_motion(self, | ||
""" | """ | ||
# if gtk.targets_include_text(drag_context.targets) or \ | # if gtk.targets_include_text(drag_context.targets) or \ | ||
# | # | ||
# # copy text from another widget | # # copy text from another widget | ||
- | # return | + | # return</ |
- | et remplacez par | + | |
- | <code python></ | + |