Add a profile property to toggle copying text as HTML.
Details
Diff Detail
- Repository
- R319 Konsole
- Lint
Automatic diff as part of commit; lint not applicable. - Unit
Automatic diff as part of commit; unit tests not applicable.
In general, this is fine - however, I wonder if people will get confused as the HTML pasting only works in certain applications.
Perhaps reverse this - copy as plain text
src/EditProfileDialog.ui | ||
---|---|---|
10 | remove this - when using designer, it will often changes things |
I don't think it'll be a problem, because people have been copying text from web browsers for a long time, the text is usually formatted (font faces, colors... etc) and it's reasonable/expected that if they paste it in a plain text editor they'll get plain text, the formatting won't be kept.
src/TerminalDisplay.cpp | ||
---|---|---|
357 | we want the default to be true correctly, as it is currently? |
src/TerminalDisplay.cpp | ||
---|---|---|
357 | I think it should be opt-in; I think most users, me included, expect that text copied from a terminal emulator is going to be plain/text... |
src/TerminalDisplay.cpp | ||
---|---|---|
357 | I would prefer to not change the default from what it is now . If they don't like the current way this works, they change change this setting. |