1
0
mirror of https://github.com/TeamNewPipe/NewPipe synced 2025-11-06 18:23:01 +00:00

Merge branch 'dev' into peertube

This commit is contained in:
Ritvik Saraf
2018-12-25 20:00:56 +05:30

View File

@@ -111,7 +111,7 @@ public class RelatedVideosFragment extends BaseListInfoFragment<RelatedStreamInf
@Override @Override
public void showLoading() { public void showLoading() {
super.showLoading(); super.showLoading();
headerRootLayout.setVisibility(View.INVISIBLE); if(null != headerRootLayout) headerRootLayout.setVisibility(View.INVISIBLE);
} }
@Override @Override
@@ -119,7 +119,7 @@ public class RelatedVideosFragment extends BaseListInfoFragment<RelatedStreamInf
super.handleResult(result); super.handleResult(result);
headerRootLayout.setVisibility(View.VISIBLE); if(null != headerRootLayout) headerRootLayout.setVisibility(View.VISIBLE);
AnimationUtils.slideUp(getView(),120, 96, 0.06f); AnimationUtils.slideUp(getView(),120, 96, 0.06f);
if (!result.getErrors().isEmpty()) { if (!result.getErrors().isEmpty()) {