Added UI config for Putty-paste-style, and text to documentations
This commit is contained in:
parent
1e89dc3064
commit
a8c260fcf3
|
@ -256,6 +256,11 @@ a separate window launched from the menu bar.
|
||||||
This puts the selection into the copy/paste buffer, as well as being
|
This puts the selection into the copy/paste buffer, as well as being
|
||||||
available on middle-click.
|
available on middle-click.
|
||||||
|
|
||||||
|
**Putty paste style** (default: off)
|
||||||
|
|
||||||
|
Make right mouse button in Putty-style: right button - paste from
|
||||||
|
clipboard, middle - open popup (for ex-Putty users).
|
||||||
|
|
||||||
**Select-by-word characters** (default: ``-A-Za-z0-9,./?%&#:_``)
|
**Select-by-word characters** (default: ``-A-Za-z0-9,./?%&#:_``)
|
||||||
|
|
||||||
Using double-click to select text will use this pattern to define
|
Using double-click to select text will use this pattern to define
|
||||||
|
|
|
@ -256,6 +256,11 @@ a separate window launched from the menu bar.
|
||||||
This puts the selection into the copy/paste buffer, as well as being
|
This puts the selection into the copy/paste buffer, as well as being
|
||||||
available on middle-click.
|
available on middle-click.
|
||||||
|
|
||||||
|
**Putty paste style** (default: off)
|
||||||
|
|
||||||
|
Make right mouse button in Putty-style: right button - paste from
|
||||||
|
clipboard, middle - open popup (for ex-Putty users).
|
||||||
|
|
||||||
**Select-by-word characters** (default: ``-A-Za-z0-9,./?%&#:_``)
|
**Select-by-word characters** (default: ``-A-Za-z0-9,./?%&#:_``)
|
||||||
|
|
||||||
Using double-click to select text will use this pattern to define
|
Using double-click to select text will use this pattern to define
|
||||||
|
|
|
@ -489,6 +489,10 @@ Default value: \fBUTF-8\fR
|
||||||
.B copy_on_selection \fR(boolean)
|
.B copy_on_selection \fR(boolean)
|
||||||
If set to True, text selections will be automatically copied to the clipboard, in addition to being made the Primary selection.
|
If set to True, text selections will be automatically copied to the clipboard, in addition to being made the Primary selection.
|
||||||
Default value: \fBFalse\fR
|
Default value: \fBFalse\fR
|
||||||
|
.TP
|
||||||
|
.B putty_paste_style \fR(boolean)
|
||||||
|
If set to True, right mouse click - paste Primary selection, middle mouse click - popup menu.
|
||||||
|
Default value: \fBFalse\fR
|
||||||
|
|
||||||
.SH layouts
|
.SH layouts
|
||||||
|
|
||||||
|
|
|
@ -1590,6 +1590,22 @@
|
||||||
<property name="position">5</property>
|
<property name="position">5</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCheckButton" id="putty_paste_style">
|
||||||
|
<property name="label" translatable="yes">Putty paste style</property>
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<property name="can_focus">True</property>
|
||||||
|
<property name="receives_default">False</property>
|
||||||
|
<property name="use_action_appearance">False</property>
|
||||||
|
<property name="draw_indicator">True</property>
|
||||||
|
<signal name="toggled" handler="on_putty_paste_style_toggled" swapped="no"/>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="expand">False</property>
|
||||||
|
<property name="fill">False</property>
|
||||||
|
<property name="position">6</property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
|
|
|
@ -425,6 +425,9 @@ class PrefsEditor:
|
||||||
# Copy on selection
|
# Copy on selection
|
||||||
widget = guiget('copy_on_selection')
|
widget = guiget('copy_on_selection')
|
||||||
widget.set_active(self.config['copy_on_selection'])
|
widget.set_active(self.config['copy_on_selection'])
|
||||||
|
# Putty paste style
|
||||||
|
widget = guiget('putty_paste_style')
|
||||||
|
widget.set_active(self.config['putty_paste_style'])
|
||||||
# Word chars
|
# Word chars
|
||||||
widget = guiget('word_chars_entry')
|
widget = guiget('word_chars_entry')
|
||||||
widget.set_text(self.config['word_chars'])
|
widget.set_text(self.config['word_chars'])
|
||||||
|
@ -722,6 +725,11 @@ class PrefsEditor:
|
||||||
self.config['copy_on_selection'] = widget.get_active()
|
self.config['copy_on_selection'] = widget.get_active()
|
||||||
self.config.save()
|
self.config.save()
|
||||||
|
|
||||||
|
def on_putty_paste_style_toggled(self, widget):
|
||||||
|
"""Putty paste style setting changed"""
|
||||||
|
self.config['putty_paste_style'] = widget.get_active()
|
||||||
|
self.config.save()
|
||||||
|
|
||||||
def on_cursor_blink_toggled(self, widget):
|
def on_cursor_blink_toggled(self, widget):
|
||||||
"""Cursor blink setting changed"""
|
"""Cursor blink setting changed"""
|
||||||
self.config['cursor_blink'] = widget.get_active()
|
self.config['cursor_blink'] = widget.get_active()
|
||||||
|
|
Loading…
Reference in New Issue