Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jEdit.props
changeset 70120 45ca4006a37f
parent 70081 093ab1a99eb6
child 71497 a80fa14bccb8
equal deleted inserted replaced
70119:b48a496ca0cd 70120:45ca4006a37f 
   290 tip.show=false
 
   290 tip.show=false
 
   291 toggle-multi-select.shortcut2=C+NUMBER_SIGN
 
   291 toggle-multi-select.shortcut2=C+NUMBER_SIGN
 
   292 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 
   292 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 
   293 twoStageSave=false
 
   293 twoStageSave=false
 
   294 vfs.browser.dock-position=left
 
   294 vfs.browser.dock-position=left
 
   295 vfs.browser.sortMixFilesAndDirs=true
 
       
   296 vfs.favorite.0.type=1
 
   295 vfs.favorite.0.type=1
 
   297 vfs.favorite.0=$ISABELLE_HOME
 
   296 vfs.favorite.0=$ISABELLE_HOME
 
   298 vfs.favorite.1.type=1
 
   297 vfs.favorite.1.type=1
 
   299 vfs.favorite.1=$ISABELLE_HOME_USER
 
   298 vfs.favorite.1=$ISABELLE_HOME_USER
 
   300 vfs.favorite.2.type=1
 
   299 vfs.favorite.2.type=1
isabelle