Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@jeremypw
Copy link
Collaborator

@jeremypw jeremypw commented May 27, 2025

Fixes #147

Copy code from Terminal

@jeremypw jeremypw mentioned this pull request May 29, 2025
14 tasks

private void update_terminal_settings (string settings_schema) {
var pantheon_terminal_settings = new GLib.Settings (settings_schema);
pantheon_terminal_settings = new GLib.Settings (settings_schema);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since this key comes from another app, we should really check and make sure it exists before reading from it so we don't introduce a new crash

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

True, but pantheon_terminal_settings is already being used at several other places unrelated to this PR (getting "font", "audible-bell", "cursor-shape", "background", "foreground" and "palette" keys) so maybe dealing with the case that the Terminal schema has been uninstalled can be left to a separate PR covering all these cases?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's fair!

@jeremypw jeremypw marked this pull request as ready for review June 3, 2025 14:01
@jeremypw jeremypw requested a review from danirabbit June 3, 2025 14:01
@danirabbit danirabbit merged commit a8b26dc into master Jun 3, 2025
6 checks passed
@danirabbit danirabbit deleted the jeremypw/terminal/smart-copy-paste branch June 3, 2025 18:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implement natural copy/paste in terminal plug

3 participants