Githawk: Supprimer la recherche des favoris ?

Créé le 25 oct. 2017  ·  3Commentaires  ·  Source: GitHawkApp/GitHawk

Peut-être que nous ajoutons cela une fois que les gens ajoutent des centaines de signets ? Idk, semble être un gaspillage d'espace atm. Les pensées?

❔ question

Commentaire le plus utile

Je pense que nous ne devrions pas le supprimer, mais plutôt placer la barre de recherche sous la barre de navigation par défaut (comme Settings.app)

Envoyé avec GitHawk

Tous les 3 commentaires

Je pense que nous ne devrions pas le supprimer, mais plutôt placer la barre de recherche sous la barre de navigation par défaut (comme Settings.app)

Envoyé avec GitHawk

Parce que... comment sauriez-vous que les gens y ajoutent de nombreux éléments ?

Envoyé avec GitHawk

D'accord avec @BasThomas. Aussi, j'ai fait un correctif sur #729 qui cache la recherche sous la barre de navigation.

Voilà à quoi ça ressemble. Vous pouvez obtenir la barre de recherche simplement en glissant vers le bas. (Avec une transition gratuite de la barre de navigation sur iOS 11)
screen shot 2017-10-25 at 7 54 38 pm

Cette page vous a été utile?
0 / 5 - 0 notes