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

Fix inconsistencies in UG/DG #139

Merged
merged 5 commits into from
Oct 26, 2019
Merged

Conversation

dorcastan
Copy link

Standardise headings and add more terms to UG glossary.

Standardise headings. Add more terms to UG glossary.
docs/UserGuide.adoc Outdated Show resolved Hide resolved
docs/UserGuide.adoc Outdated Show resolved Hide resolved

*What is the [[Dashboard]] Dashboard?*
== Glossary

Choose a reason for hiding this comment

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

Maybe we can reorder the glossary? Like Bookmark -> Offline-copy -> Annotation -> Folder Hierarchy -> Dashboard. Since some of the definition depends on other definition.

Copy link
Author

Choose a reason for hiding this comment

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

I did consider that, but I think it's okay because the glossary isn't meant to be read in order. It's currently arranged in alphabetical order so that the user can easily find a word/phrase that they're looking for.

Choose a reason for hiding this comment

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

Okay

Co-Authored-By: TSAI, HSIAO-HAN <46244796+TSAI-HSIAO-HAN@users.noreply.github.com>
Remove box around answer, as suggested in peer review. To avoid
confusion with the command detail boxes in earlier sections.
@dorcastan dorcastan added this to In progress in v1.3 via automation Oct 26, 2019
@dorcastan dorcastan merged commit 8de44f9 into AY1920S1-CS2103T-T13-4:master Oct 26, 2019
v1.3 automation moved this from In progress to Done Oct 26, 2019
@Na-Nazhou Na-Nazhou added this to the v1.3 milestone Oct 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
No open projects
v1.3
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

3 participants