settings.js 870 B

1234567891011121314151617181920212223242526272829
  1. (function(){
  2. function module_init() {
  3. console.log("[lora-prompt-tool] load settings module");
  4. lorahelper.settings = {};
  5. function get_boolean(ele_id){
  6. const element = lorahelper.gradioApp().querySelector(`#${ele_id} input`);
  7. if(lorahelper.is_nullptr(element)) return false;
  8. if(lorahelper.is_nullptr(element.checked)) return false;
  9. return !!element.checked;
  10. }
  11. lorahelper.settings.is_debug = ()=>get_boolean("lorahelp_js_debug_logging");
  12. lorahelper.settings.touch_mode = ()=>get_boolean("lorahelp_js_touch_mode");
  13. }
  14. let module_loadded = false;
  15. document.addEventListener("DOMContentLoaded", () => {
  16. if (module_loadded) return;
  17. module_loadded = true;
  18. module_init();
  19. });
  20. document.addEventListener("load", () => {
  21. if (module_loadded) return;
  22. module_loadded = true;
  23. module_init();
  24. });
  25. })();