Rockbox.org home
Downloads
Release release
Dev builds dev builds
Extras extras
themes themes
Documentation
Manual manual
Wiki wiki
Device Status device status
Support
Forums forums
Mailing lists mailing lists
IRC IRC
Development
Bugs bugs
Patches patches
Dev Guide dev guide
Search



Donate

+  Rockbox Technical Forums
|-+  Rockbox Development
| |-+  Feature Ideas
| | |-+  Go to specific time in audio file
« previous next »
Pages: 1 2 [3]

Author Topic: Go to specific time in audio file  (Read 1674 times)

Online bahus

  • Member
  • *
  • Posts: 56
Re: Go to specific time in audio file
« Reply #30 on: October 09, 2019, 02:00:48 PM »
lua_notimer - crash is gone. But it feels less responsive (maybe just imagining)
Logged

Offline Bilgus

  • Developer
  • Member
  • *
  • Posts: 537
Re: Go to specific time in audio file
« Reply #31 on: October 09, 2019, 02:05:59 PM »
well its settled then the timer is causing the issues

oh Its definitely less responsive without the timer
Now you are at the whim of the lua vm.

I'll try and figure out a way to add a better mechanism (read more precise)

Logged

Offline Bilgus

  • Developer
  • Member
  • *
  • Posts: 537
Re: Go to specific time in audio file
« Reply #32 on: October 09, 2019, 02:33:23 PM »
Logged

Offline Bilgus

  • Developer
  • Member
  • *
  • Posts: 537
Re: Go to specific time in audio file
« Reply #33 on: October 10, 2019, 10:57:36 AM »
The issue with rock events turned out to be a problem with the timer on the Rocker (and potentially other hosted devices)
See above thread for details.

Logged
Pages: 1 2 [3]
« previous next »
+  Rockbox Technical Forums
|-+  Rockbox Development
| |-+  Feature Ideas
| | |-+  Go to specific time in audio file