[c_selection.js] If safari_mobile, get current selection from a previously created global variable [c_sync.js] ref where the safari_mobile global is used [c_text_view_comments.js] if safari_mobile update selection also on selectionChange event [text_view_comments.html] if safari_mobile store a clone of the current selection on each selectionChange set layout width to 99% to improve display factorize safari mobile detection code

     1

def get_among(dico,key,allowed,default):

     2

    res = dico.get(key, None)

     3

    if not res or res not in allowed:

     4

        return default

     5

    else:

     6

        return res

     7

     8

     9

def get_int(dico, key, default):

    10

    try:

    11

        return int(dico.get(key, default))

    12

    except ValueError:

    13

        return default