Viewing all changes in revision 28.
- Committer: Diego Sarmentero
- Date: 2011-11-05 16:01:07 UTC
- mfrom: (4.1.31)
- Revision ID: git-v1:0ecaec554fd22e3323c0d730ea26cd84a45be8e1
Merge pull request #37 from diegosarmentero/master
Fixed issue in popup locator, regarding to scroll with a list with few items.
Fixed issue in popup locator, regarding to scroll with a list with few items.
- files modified:
- ninja_ide/tools/locator.py
expand all
collapse all
added
removed
