-Util.prototype.selectString = function(input, string)
-{\r
- var match = new RegExp(string, "i").exec(input.value)\r
- if (match)
- {\r
- this.setSelectionRange (input, match.index, match.index + match[0].length)\r
- }\r
-}\r
-Util.prototype.replaceSelection = function(input, replaceString) {\r
- if (input.setSelectionRange)
- {\r
- var selectionStart = input.selectionStart\r
- var selectionEnd = input.selectionEnd\r
- input.value = input.value.substring(0, selectionStart) + replaceString + input.value.substring(selectionEnd)
- \r
- if (selectionStart != selectionEnd) // has there been a selection\r
- this.setSelectionRange(input, selectionStart, selectionStart + replaceString.length)\r
- else // set caret\r
- this.setCaretToPos(input, selectionStart + replaceString.length)\r
- }\r
- else if (document.selection)
- {\r
- var range = document.selection.createRange();\r
- if (range.parentElement() == input)
- {\r
- var isCollapsed = range.text == ''\r
- range.text = replaceString\r
- if (!isCollapsed)
- {
- // there has been a selection\r
- // it appears range.select() should select the newly \r
- // inserted text but that fails with IE\r
- range.moveStart('character', -replaceString.length);\r
- range.select();\r
- }\r
- }\r
- }\r
-}
-
-///////////////////////////////////////////////////////////////////////////////////////////////////
-
-function Pages()
-{
- this.pageCourante = null
- this.pages = {}
-}
-
-Pages.prototype.ajouterPage = function(page)
-{
- page.pages = this // la magie des langages dynamiques : le foutoire
- this.pages[page.nom] = page
-}
-
-Pages.prototype.afficherPage = function(nomPage, forcerChargement)
-{\r
- if (forcerChargement == undefined) forcerChargement = false\r
-
- var page = this.pages[nomPage]
- if (page == undefined || (!forcerChargement && page == this.pageCourante)) return
-
- if (this.pageCourante != null && this.pageCourante.decharger)
- this.pageCourante.decharger()
-
- jQuery("#menu div").removeClass("courante")
- jQuery("#menu div." + nomPage).addClass("courante")
-
- this.pageCourante = page
- jQuery("#page").html(this.pageCourante.contenu()).removeClass().addClass(this.pageCourante.nom)
-
- if (this.pageCourante.charger)
- this.pageCourante.charger()
-}
-
-///////////////////////////////////////////////////////////////////////////////////////////////////