Parcourir la source

Fix method references select in Browser: we cannot browse current method references as it's already selected

Laurent Laffont il y a 12 ans
Parent
commit
379fe3b007
3 fichiers modifiés avec 55 ajouts et 325 suppressions
  1. 0 6
      js/IDE.deploy.js
  2. 53 318
      js/IDE.js
  3. 2 1
      st/IDE.st

Fichier diff supprimé car celui-ci est trop grand
+ 0 - 6
js/IDE.deploy.js


Fichier diff supprimé car celui-ci est trop grand
+ 53 - 318
js/IDE.js


+ 2 - 1
st/IDE.st

@@ -1226,7 +1226,8 @@ updateSourceAndButtons
 				with: [ |option|
 					html option
 						with: 'References';
-						at: 'disabled' put: 'disabled'.
+						at: 'disabled' put: 'disabled';
+                        at: 'selected' put: 'selected'.
 					html option
 						class: 'important';
 						with: selectedMethod selector.

Certains fichiers n'ont pas été affichés car il y a eu trop de fichiers modifiés dans ce diff