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

Spelling #17

Open
wants to merge 57 commits into
base: master
Choose a base branch
from
Open

Spelling #17

wants to merge 57 commits into from

Conversation

jsoref
Copy link

@jsoref jsoref commented Jan 27, 2019

So, this is a fairly large PR, it's split by word family which is my default.
I've tried to exclude translation fixes in general (I have a branch called "ignore" which has some of those at the top).

There are some exceptions.

But, in general, the categories of fixes are:

  • Comments
  • Code
  • API
  • UI Strings
  • Brands (Wiliam, Wi-Fi, montserrat)

In some cases, I've inserted?? because the item doesn't make sense and I'm not sure what the correct text is.

I'm happy to split this up however requested (within limits, 40+PRs would be a bit much, but 5 PRs with some direction is manageable).

@@ -393,7 +393,7 @@ public static void addHeaders(Context context){
Database dbHandler = Database.getInstance(MyApp.context);
SQLiteDatabase db = dbHandler.getWritableDatabase();
db.execSQL("DROP TABLE IF EXISTS " + TABLE_HEADERS); //TODO be able to update only a bit at a time.
db.execSQL(CREATE_HEADES_TABLE);
db.execSQL(CREATE_HEADES_TABLE /* headers? heads? */);
Copy link
Author

Choose a reason for hiding this comment

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

it should be headers, but it requires a change to Sefaria-SQL (API)

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.

1 participant