##// END OF EJS Templates
Atom/RSS logo display problem using min font size....
Atom/RSS logo display problem using min font size. Using Minimum Font Size = 18 on Firefox, the Atom and RSS logos in a changeset web page look crushed together. No need to specify an absolute width for text; just use sensible padding instead.

File last commit:

r2859:345bac2b default
r5679:1d8ef9fb default
Show More
remoterepo.py
25 lines | 621 B | text/x-python | PythonLexer
# remoterepo - remote repository proxy classes for mercurial
#
# Copyright 2005, 2006 Matt Mackall <mpm@selenic.com>
#
# This software may be used and distributed according to the terms
# of the GNU General Public License, incorporated herein by reference.
import repo
class remoterepository(repo.repository):
def dev(self):
return -1
def local(self):
return False
class remotelock(object):
def __init__(self, repo):
self.repo = repo
def release(self):
self.repo.unlock()
self.repo = None
def __del__(self):
if self.repo:
self.release()