Skip to content

Make sure tabs can have a unique id that is not depending on the name#833

Merged
skjnldsv merged 1 commit intomasterfrom
bugfix/noid/tab-id
Jan 25, 2020
Merged

Make sure tabs can have a unique id that is not depending on the name#833
skjnldsv merged 1 commit intomasterfrom
bugfix/noid/tab-id

Conversation

@juliusknorr
Copy link
Contributor

Tab names are usually translated so they are a pretty bad id in general. This PR makes sure that the id can be set as a separate prop.

Signed-off-by: Julius Härtl <jus@bitgrid.net>
@juliusknorr
Copy link
Contributor Author

/backport to stable0.12

@skjnldsv skjnldsv merged commit 0f13b8d into master Jan 25, 2020
@skjnldsv skjnldsv deleted the bugfix/noid/tab-id branch January 25, 2020 17:35
@skjnldsv skjnldsv modified the milestones: 1.2.9, 1.2.8 Jan 27, 2020
@skjnldsv skjnldsv mentioned this pull request Jan 27, 2020
@skjnldsv
Copy link
Contributor

/backport to stable0-12

@backportbot-nextcloud
Copy link

backport to stable0-12 in #842

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants