Fixes #4810, the preference dialog will now close more easilly
This commit is contained in:
parent
e7899ce052
commit
bd366bbb50
1 changed files with 0 additions and 9 deletions
|
|
@ -28,15 +28,10 @@ public class PreferencesDialog : Object {
|
|||
// Connect to element signals.
|
||||
autoselect.toggled.connect(on_autoselect_toggled);
|
||||
display_preview.toggled.connect(on_display_preview_toggled);
|
||||
close_button.clicked.connect(on_close);
|
||||
dialog.close.connect(on_escape);
|
||||
}
|
||||
|
||||
public void run() {
|
||||
dialog.run();
|
||||
}
|
||||
|
||||
private void on_close() {
|
||||
dialog.destroy();
|
||||
}
|
||||
|
||||
|
|
@ -47,8 +42,4 @@ public class PreferencesDialog : Object {
|
|||
private void on_display_preview_toggled() {
|
||||
config.display_preview = display_preview.active;
|
||||
}
|
||||
|
||||
private void on_escape() {
|
||||
dialog.hide();
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue