Prevent App Refresh via F5

[Mario]

In the next release, a new option allowRefresh i available in app.json.
If this option is specified as false, Pressing <F5> in app app no longer works. The app does not refresh.

[Carlo Didier]

Thanks!

[thrinn]

Mario,
in the release notes it says:

If this option is set to true, pressing in app no longer causes a reload.]

Should be "is set to false", like correctly described above.

[Carlo Didier]

I can still use F5 in my app. Is my syntax for the app.json correct?

Code Select Expand

{
  "type": "app",
  "id": "FFFD07EA-9973-44FE-88B2-688F45439158",
  "version": "1.0",
  "author": [
    "Carlo Didier"
  ],
  "name": {
    "": "Assign Events"
  },
  "description": {
    "": "Automatically assign events"
  },
  "defaultDocument": "index.html",
  "icon": {
    "": "app.png"
  },
  "allowRefresh": "false",
  "runAs": "modal",
  "windowSizing": {
    "sizing": "both",
    "width": 1200,
    "height": 800
  }
}

[Mario]

Are you using the app panel or your browser?

[Carlo Didier]

The app panel

[Mario]

Make sure you use proper syntax:

"allowRefresh" : false,

not "false" as in your example.

"false" is a string, not a Boolean.

[Carlo Didier]

Ahh, ok. All other settings had "", like

Code Select Expand

"runAs": "modal",
so I supposed I nedded it here too.
Now it works.

Thanks!

[Mario]

This is independent from modal.
You just used a string where you have to use a Boolean. This could not work,

[Carlo Didier]

This is independent from modal.
You just used a string where you have to use a Boolean. This could not work,

I understand, but without further knowledge, I just saw that all parameters were quoted, so I supposed I had to quote this one too. I have no idea how those JSON files are interpreted.

[Mario]

I have no idea how those JSON files are interpreted.

Best to refer to http://json.org/ to learn about it. Or the beginner's guide at https://www.w3schools.com/js/js_json_intro.asp.

The name is always a string. But for the value a string, a Boolean or a number are not the same.

{
  "a" : "string",
  "b": 100,
  "c": false
}

[Carlo Didier]

Ok. Thanks.
I'm used to XML data structures and this is quite different.

[Mario]

JSON has replaced XML in many areas for good reasons (faster, tighter, easier).
And JSON is the native JavaScript object format, which makes it super-easy to convert between the two.
All modern web services use JSON as their main data format.

[Carlo Didier]

JSON is definetely better human readable than XML 
But I do system administration and there we do not have web services or applications for our work. That's for our application programmers.