Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1#!/usr/bin/python3 

2# -*- coding: utf-8 -*- 

3# 

4# Global symbols from file symbols/globals87.txt 

5# Autogenerated file, do not modify! 

6# 

7class globalSymbols(): 

8 

9 symbols= { 

10 } 

11 @staticmethod 

12 def get(name): 

13 if name[0]=='=': 

14 name=name[1:] 

15 if name in globalSymbols.symbols.keys(): 

16 return globalSymbols.symbols[name] 

17 else: 

18 return None 

19