Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/copy logs #1491

Merged
merged 7 commits into from
Jun 9, 2022
Merged

Feature/copy logs #1491

merged 7 commits into from
Jun 9, 2022

Conversation

elvece
Copy link
Member

@elvece elvece commented Jun 6, 2022

No description provided.

@elvece elvece added Enhancement New feature or request UI Issues pertaining to any of the embassy-served web applications P2 - Desirable high prioity, nice-to-haves labels Jun 6, 2022
@elvece elvece added this to the 0.3.1 milestone Jun 6, 2022
@elvece elvece requested a review from MattDHill June 6, 2022 18:19
@elvece elvece self-assigned this Jun 6, 2022
@elvece elvece linked an issue Jun 6, 2022 that may be closed by this pull request
@MattDHill MattDHill changed the base branch from master to strict-null-checks June 9, 2022 04:05
@MattDHill MattDHill force-pushed the feature/copy-logs branch from 9745f45 to 471f35f Compare June 9, 2022 14:06
@elvece elvece merged commit c9bb1b5 into strict-null-checks Jun 9, 2022
elvece added a commit that referenced this pull request Jun 14, 2022
* make text selectable on mobile

* make logs copyable and adjust copy format

* fix linting

* fix linting further

* linting

* add formatting to copied logs

* fix copy abstraction and add formatting for server log copy
elvece added a commit that referenced this pull request Jun 16, 2022
* make text selectable on mobile

* make logs copyable and adjust copy format

* fix linting

* fix linting further

* linting

* add formatting to copied logs

* fix copy abstraction and add formatting for server log copy
elvece added a commit that referenced this pull request Jun 18, 2022
* make text selectable on mobile

* make logs copyable and adjust copy format

* fix linting

* fix linting further

* linting

* add formatting to copied logs

* fix copy abstraction and add formatting for server log copy
elvece added a commit that referenced this pull request Jun 18, 2022
* make text selectable on mobile

* make logs copyable and adjust copy format

* fix linting

* fix linting further

* linting

* add formatting to copied logs

* fix copy abstraction and add formatting for server log copy
elvece added a commit that referenced this pull request Jun 19, 2022
* make text selectable on mobile

* make logs copyable and adjust copy format

* fix linting

* fix linting further

* linting

* add formatting to copied logs

* fix copy abstraction and add formatting for server log copy
@elvece elvece deleted the feature/copy-logs branch June 23, 2022 20:08
@elvece elvece restored the feature/copy-logs branch June 23, 2022 20:08
@elvece elvece deleted the feature/copy-logs branch June 23, 2022 20:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement New feature or request P2 - Desirable high prioity, nice-to-haves UI Issues pertaining to any of the embassy-served web applications
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make logs copy-paste friendly
2 participants