From c7e333ca16c398b5b1f4be90461bfcbb3083aba1 Mon Sep 17 00:00:00 2001 From: "Reynaldo H. Verdejo Pinochet" Date: Thu, 19 Oct 2017 15:27:16 -0700 Subject: [PATCH] tutorials: ios: basic: fix missing markup --- markdown/tutorials/ios/a-basic-media-player.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/markdown/tutorials/ios/a-basic-media-player.md b/markdown/tutorials/ios/a-basic-media-player.md index 50d5897d31..f22258dd04 100644 --- a/markdown/tutorials/ios/a-basic-media-player.md +++ b/markdown/tutorials/ios/a-basic-media-player.md @@ -964,7 +964,7 @@ its `mediaSizeChanged` callback. ### Refreshing the Seek Bar -To keep the UI updated, a GLib timer is installed in +To keep the UI updated, a `GLib` timer is installed in the `app_function` that fires 4 times per second (or every 250ms), right before entering the main loop: @@ -976,7 +976,7 @@ g_source_attach (timeout_source, context); g_source_unref (timeout_source); ``` -Then, in the refresh_ui method: +Then, in the `refresh_ui` method: ``` /* If we have pipeline and it is running, query the current position and clip duration and inform